]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Make things case insensitive.
authorwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 28 Feb 2000 14:36:48 +0000 (14:36 +0000)
committerwolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Mon, 28 Feb 2000 14:36:48 +0000 (14:36 +0000)
git-svn-id: https://svn.dealii.org/trunk@2499 0785d39b-7218-0410-832d-ea1e28bc413d

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

index 78b3a1e5989ceba69bdb43612894733405085231..c0e47942f4ba6a7defcb9c0686b92bc60dd6b30c 100644 (file)
@@ -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;

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.