From: Wolfgang Bangerth Date: Wed, 6 Jan 2016 15:19:56 +0000 (-0600) Subject: Sort markdown files first. X-Git-Tag: v8.4.0-rc2~110^2~2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5477d7ad8fc57c446102fa0e33aaa585668488bc;p=dealii.git Sort markdown files first. This allows bringing any readme.md or similar files to the top. --- diff --git a/doc/doxygen/scripts/make_gallery.pl b/doc/doxygen/scripts/make_gallery.pl index 62476debd7..ecda2c8609 100644 --- a/doc/doxygen/scripts/make_gallery.pl +++ b/doc/doxygen/scripts/make_gallery.pl @@ -27,7 +27,13 @@ $gallery_underscore =~ s/-/_/; my $gallery_dir = shift(@ARGV); my $author_file = "$gallery_dir/doc/author"; -my @src_files = @ARGV; +# next get the source files. sort all markdown files +# first so that we get to show them first. this makes +# sense because markdown files typically provide +# overview information +my @src_files = grep { $_ =~ m/.*\.(md|markdown)/ } @ARGV; +push @src_files, sort(grep { !($_ =~ m/.*\.(md|markdown)/) }@ARGV); + # read the names of authors; escape '<' and '>' as they # appear in the email address. also trim trailing space and