From: heister <heister@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Fri, 1 Mar 2013 05:18:30 +0000 (+0000)
Subject: update validation script
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec65af4ea9a40eb7eb3287ff20e4dd807abc99df;p=dealii-svn.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));
 	}