Create a gallery of pictures at the top of the page.

diff --git a/doc/doxygen/scripts/make_gallery.pl b/doc/doxygen/scripts/make_gallery.pl
index 5204cee63d6a4eec97df52373ee2637a868c1f89..7caec1c0ed13fa1a015eda20723d6b8167d9447f 100644 (file)
--- 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 "<h2>Pictures from this code gallery program:</h2>\n";
+    print "<p align=\"center\">\n";
+    print "<table>\n";
+
+    # print four pictures per row
+    while (@picture_files)
+    {
+        print "     <tr>\n";
+        for my $i (0 .. 3)
+        {
+            if (@picture_files) 
+            {
+                print "       <td>\n";
+                my $pic = pop(@picture_files);
+                print "         <img width=\"250\" src=\"../code-gallery/$gallery/$pic\">\n";
+                print "       </td>\n";
+            }
+        }
+        print "     </tr>\n";
+    }
+
+    print "</table>\n";
+    print "</p>\n";
+}
+
+
+# end the doxygen input file
 print "*/\n";