]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
update validation script
authorheister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 1 Mar 2013 05:18:30 +0000 (05:18 +0000)
committerheister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Fri, 1 Mar 2013 05:18:30 +0000 (05:18 +0000)
git-svn-id: https://svn.dealii.org/trunk@28674 0785d39b-7218-0410-832d-ea1e28bc413d

deal.II/common/scripts/validate-xrefs.pl

index 2913819be6295dd6959fe35fd455f0476181bc62..f7408e2a26555d93fc0a63c8d0215ae6bf74934f 100644 (file)
@@ -126,6 +126,12 @@ foreach $filename (@ARGV)
            # check whether the file for the image is present
            $link = $1;
 
+           # ignore online links
+           if ($link =~ /^http/)
+           {
+               next;
+           }
+
            die "---Local image `$link' not found in file `$filename'\n This line is: $this_line.\n"
                unless ((-r $link) && (-f $link));
        }

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.