]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Work around a problem in doxygen 1.6.3.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 2 Jun 2010 16:23:31 +0000 (16:23 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Wed, 2 Jun 2010 16:23:31 +0000 (16:23 +0000)
git-svn-id: https://svn.dealii.org/trunk@21144 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/validate-xrefs.pl

index 8b66c9704d0e2e6d64c006b1245bf6817e5ba42b..2913819be6295dd6959fe35fd455f0476181bc62 100644 (file)
@@ -59,7 +59,8 @@ foreach $filename (@ARGV)
                $found = 0;
                while ( <IN2> ) {
                    while ( /<a[^>]* (name=|class=\"anchor\" id=)\"?(.*?)[\s\"]/gi ) {
-                       if ( $2 eq $internal_ref) {
+                       if ( $2 eq $internal_ref)
+                       {
                            print "                    found.\n" if $debug;
                            $found = 1;
                            last;
@@ -68,7 +69,10 @@ foreach $filename (@ARGV)
                }
 
                die "---Internal reference `$internal_ref' not found in file $filename\n This line is: $this_line.\n"
-                   unless $found;
+                   unless $found
+                            # work around a bug in doxygen 1.6.3:
+                           #   https://bugzilla.gnome.org/show_bug.cgi?id=620372
+                            || ($internal_ref =~ /^index_[:_~]/) ;
                next;
            }
            elsif ( $link =~ /^(.*?)#(.*)/ )
@@ -88,7 +92,8 @@ foreach $filename (@ARGV)
                $found = 0;
                while ( <IN2> ) {
                    while ( /<a[^>]* (name=|class=\"anchor\" id=)\"?(.*?)[\s\"]/gi ) {
-                       if ( $2 eq $external_ref) {
+                       if ( $2 eq $external_ref)
+                       {
                            print "                    found.\n" if $debug;
                            $found = 1;
                            last;
@@ -97,7 +102,10 @@ foreach $filename (@ARGV)
                }
 
                die "---External reference `$external_file#$external_ref' not found in file $filename\n This line is: $this_line.\n"
-                   unless $found;
+                   unless $found
+                            # work around a bug in doxygen 1.6.3:
+                           #   https://bugzilla.gnome.org/show_bug.cgi?id=620372
+                            || ($external_ref =~ /^index_[:_~]/) ;
                next;
            }
            else {

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.