]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Don't discard reference anchors if there are more than only one on a line.
authorWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 27 Jun 2000 13:17:23 +0000 (13:17 +0000)
committerWolfgang Bangerth <bangerth@math.tamu.edu>
Tue, 27 Jun 2000 13:17:23 +0000 (13:17 +0000)
git-svn-id: https://svn.dealii.org/trunk@3089 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/doc/auto/scripts/validate-xrefs.pl

index af1dd9d4c291bd389e6e71832464e17aec35b5e0..9c0c1c3d9abd932202eaa80772299ce0a7c55217 100644 (file)
@@ -35,7 +35,7 @@ foreach $filename (@ARGV) {
                open IN2, $filename;
                $found = 0;
                while ( <IN2> ) {
-                   if ( /<a name=\"?(.*?)[\s\"]/i ) {
+                   while ( /<a name=\"?(.*?)[\s\"]/gi ) {
                        if ( $1 eq $internal_ref) {
                            print "                    found.\n" if $debug;
                            $found = 1;

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.