From: Wolfgang Bangerth Date: Wed, 20 Sep 2000 08:04:31 +0000 (+0000) Subject: Fix some quirks where xrefs were recognized where there was really no such thing. X-Git-Tag: v8.0.0~20086 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=81633d53699b6543ebd4c3f3577700b74aad3e40;p=dealii.git Fix some quirks where xrefs were recognized where there was really no such thing. git-svn-id: https://svn.dealii.org/trunk@3343 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 fa3f35be6b..18cd3dbd22 100644 --- a/deal.II/doc/auto/scripts/validate-xrefs.pl +++ b/deal.II/doc/auto/scripts/validate-xrefs.pl @@ -15,7 +15,7 @@ foreach $filename (@ARGV) { print "File: $filename\n" if $debug; while () { # first find all hrefs - while ( /href=\"?(.*?)[\s\"]/gi ) { + while ( /<\s*a\s+href=\"?(.*?)[\s\"]/gi ) { # then decide whether they are relevant for # our purpose $link = $1;