Don't discard reference anchors if there are more than only one on a line.

git-svn-id: https://svn.dealii.org/trunk@3089 0785d39b-7218-0410-832d-ea1e28bc413d

diff --git a/deal.II/doc/auto/scripts/validate-xrefs.pl b/deal.II/doc/auto/scripts/validate-xrefs.pl
index af1dd9d4c291bd389e6e71832464e17aec35b5e0..9c0c1c3d9abd932202eaa80772299ce0a7c55217 100644 (file)
--- a/deal.II/doc/auto/scripts/validate-xrefs.pl
+++ b/deal.II/doc/auto/scripts/validate-xrefs.pl
@@ -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;