From: wolf Date: Mon, 28 Feb 2000 14:36:48 +0000 (+0000) Subject: Make things case insensitive. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=651493833159b653c2f99700d5fede95db5a542f;p=dealii-svn.git Make things case insensitive. git-svn-id: https://svn.dealii.org/trunk@2499 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 78b3a1e598..c0e47942f4 100644 --- a/deal.II/doc/auto/scripts/validate-xrefs.pl +++ b/deal.II/doc/auto/scripts/validate-xrefs.pl @@ -15,12 +15,12 @@ foreach $filename (@ARGV) { print "File: $filename\n" if $debug; while () { # first find all hrefs - while ( /href=\"?(.*?)[\s\"]/g ) { + while ( /href=\"?(.*?)[\s\"]/gi ) { # then decide whether they are relevant for # our purpose $link = $1; - if ( $link =~ /^mailto|http/ ) { + if ( $link =~ /^mailto|http/i ) { # link is external. don't check it print "external link: $link\n" if $debug; next; @@ -35,7 +35,7 @@ foreach $filename (@ARGV) { open IN2, $filename; $found = 0; while ( ) { - if ( / ) { - if ( /