From: Ferdinand Vanmaele Date: Wed, 11 Sep 2019 13:50:30 +0000 (+0200) Subject: set_canonical_doxygen.pl: skip ./header.html X-Git-Tag: v9.2.0-rc1~1000^2~1 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=33c995079b6e01f5c1640fb927f9046233f19fac;p=dealii.git set_canonical_doxygen.pl: skip ./header.html --- diff --git a/doc/doxygen/scripts/set_canonical_doxygen.pl b/doc/doxygen/scripts/set_canonical_doxygen.pl index 51af255142..d4dbc2045a 100644 --- a/doc/doxygen/scripts/set_canonical_doxygen.pl +++ b/doc/doxygen/scripts/set_canonical_doxygen.pl @@ -41,6 +41,7 @@ for my $filename (@html) { if ($filename eq "./header.html") { # there is no relevant content in the header + next; } open(my $file_handle, "+<:encoding(UTF-8)", $filename)