From 4c6275b35bc9eea5759699c2188e5eb61bcdcaba Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Fri, 1 Jan 2016 16:12:20 -0600 Subject: [PATCH] Create a gallery of pictures at the top of the page. --- doc/doxygen/scripts/make_gallery.pl | 43 ++++++++++++++++++++++++++++- 1 file changed, 42 insertions(+), 1 deletion(-) diff --git a/doc/doxygen/scripts/make_gallery.pl b/doc/doxygen/scripts/make_gallery.pl index 5204cee63d..7caec1c0ed 100644 --- a/doc/doxygen/scripts/make_gallery.pl +++ b/doc/doxygen/scripts/make_gallery.pl @@ -1,6 +1,6 @@ ## --------------------------------------------------------------------- ## -## Copyright (C) 2013, 2015 by the deal.II authors +## Copyright (C) 2013, 2015, 2016 by the deal.II authors ## ## This file is part of the deal.II library. ## @@ -59,4 +59,45 @@ foreach my $file (@src_files) } print "\n"; + +# Next go through the list of files and see whether any of these are +# pictures we could show here: +my @picture_files; +foreach my $file (@src_files) +{ + if ($file =~ /.*\.(png|jpg|gif|svg)/) + { + push @picture_files, $file; + } +} + +if (@picture_files) +{ + print "

Pictures from this code gallery program:

\n"; + print "

\n"; + print "\n"; + + # print four pictures per row + while (@picture_files) + { + print " \n"; + for my $i (0 .. 3) + { + if (@picture_files) + { + print " \n"; + } + } + print " \n"; + } + + print "
\n"; + my $pic = pop(@picture_files); + print " \n"; + print "
\n"; + print "

\n"; +} + + +# end the doxygen input file print "*/\n"; -- 2.39.5