]> https://gitweb.dealii.org/ - dealii.git/commitdiff
set_canonical_doxygen.pl: skip ./header.html
authorFerdinand Vanmaele <Vanmaele@stud.uni-heidelberg.de>
Wed, 11 Sep 2019 13:50:30 +0000 (15:50 +0200)
committerFerdinand Vanmaele <Vanmaele@stud.uni-heidelberg.de>
Wed, 11 Sep 2019 13:50:30 +0000 (15:50 +0200)
doc/doxygen/scripts/set_canonical_doxygen.pl

index 51af2551425edfcdd1aad81bfc548e89f501f8fd..d4dbc2045a0e4e607f0833033fc3a0b88590888c 100644 (file)
@@ -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)

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.