From: Jan Philipp Thiele Date: Thu, 28 Sep 2023 07:53:37 +0000 (+0200) Subject: Fix Doxygen anchor warnings X-Git-Tag: relicensing~460^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F16051%2Fhead;p=dealii.git Fix Doxygen anchor warnings --- diff --git a/doc/doxygen/scripts/create_anchors.pl b/doc/doxygen/scripts/create_anchors.pl index f23001349d..51cd419a32 100644 --- a/doc/doxygen/scripts/create_anchors.pl +++ b/doc/doxygen/scripts/create_anchors.pl @@ -15,7 +15,8 @@ # If we find a heading in a .dox file, create an HTML anchor for it. - +use Getopt::Long; +GetOptions("prefix:s" => \$prefix); while (<>) { if ( /(.*)<\/h.>\s*/ ) { $reftext = $1; @@ -24,7 +25,7 @@ while (<>) { # everything except for letters, numbers, and underscores $reftext =~ s/[^a-zA-Z0-9_]//g; - print "$_\n"; + print "$_\n"; } else { print; } diff --git a/doc/doxygen/scripts/intro2toc.pl b/doc/doxygen/scripts/intro2toc.pl index 794957a918..4e265fdb05 100644 --- a/doc/doxygen/scripts/intro2toc.pl +++ b/doc/doxygen/scripts/intro2toc.pl @@ -14,6 +14,8 @@ ## --------------------------------------------------------------------- print "