From: Wolfgang Bangerth Date: Wed, 6 Jan 2016 14:31:30 +0000 (-0600) Subject: Shorten text. X-Git-Tag: v8.4.0-rc2~110^2~3 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4494dd40511b3ce015bd079988c3f2fc85bdf4d0;p=dealii.git Shorten text. --- diff --git a/doc/doxygen/scripts/make_gallery.pl b/doc/doxygen/scripts/make_gallery.pl index d8e54a8c70..62476debd7 100644 --- a/doc/doxygen/scripts/make_gallery.pl +++ b/doc/doxygen/scripts/make_gallery.pl @@ -58,7 +58,7 @@ foreach my $file (@src_files) print "- $file\n"; if ($file =~ /.*\.(md|markdown|cc|cpp|cxx|c\+\+|h|hh|hxx)/) { - print " (see below for an annotated version)\n"; + print " (annotated version)\n"; } } print "\n";