From 651493833159b653c2f99700d5fede95db5a542f Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 28 Feb 2000 14:36:48 +0000
Subject: [PATCH] Make things case insensitive.

git-svn-id: https://svn.dealii.org/trunk@2499 0785d39b-7218-0410-832d-ea1e28bc413d
---
 deal.II/doc/auto/scripts/validate-xrefs.pl | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

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 (<IN>) {
         # 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 ( <IN2> ) {
-		    if ( /<a name=\"?(.*?)[\s\"]/ ) {
+		    if ( /<a name=\"?(.*?)[\s\"]/i ) {
 		        if ( $1 eq $internal_ref) {
 			    print "                    found.\n" if $debug;
 			    $found = 1;
@@ -59,7 +59,7 @@ foreach $filename (@ARGV) {
 		open IN2, $external_file;
 		$found = 0;
 		while ( <IN2> ) {
-		    if ( /<a name=\"?(.*?)[\s\"]/ ) {
+		    if ( /<a name=\"?(.*?)[\s\"]/i ) {
 			if ( $1 eq $external_ref) {
 			    print "                    found.\n" if $debug;
 			    $found = 1;
-- 
2.39.5