From: Timo Heister Date: Fri, 1 Mar 2013 05:18:30 +0000 (+0000) Subject: update validation script X-Git-Tag: v8.0.0~1112 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f63d9699883aaba63f92717784ed8dfaa81ee5ad;p=dealii.git update validation script git-svn-id: https://svn.dealii.org/trunk@28674 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/common/scripts/validate-xrefs.pl b/deal.II/common/scripts/validate-xrefs.pl index 2913819be6..f7408e2a26 100644 --- a/deal.II/common/scripts/validate-xrefs.pl +++ b/deal.II/common/scripts/validate-xrefs.pl @@ -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)); }