From e06c9329bee5c9c5dbcf0ee64365876e4729ccd1 Mon Sep 17 00:00:00 2001
From: wolf <wolf@0785d39b-7218-0410-832d-ea1e28bc413d>
Date: Mon, 28 Feb 2000 14:52:41 +0000
Subject: [PATCH] Check for images as well. At least partially, since we only
 search one line at a time, and tags like <img \n src="..."> can escape.

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

diff --git a/deal.II/doc/auto/scripts/validate-xrefs.pl b/deal.II/doc/auto/scripts/validate-xrefs.pl
index c0e47942f4..af1dd9d4c2 100644
--- a/deal.II/doc/auto/scripts/validate-xrefs.pl
+++ b/deal.II/doc/auto/scripts/validate-xrefs.pl
@@ -78,7 +78,15 @@ foreach $filename (@ARGV) {
 		die "---Local file `$link' not found in file `$filename'\n"
 		    unless ((-r $link) && (-f $link));
 	    }
-		}
-		}
+	}
+
+	# check whether references to images are valid
+	while ( /img\s+src=\"?(.*?)[\s\"]/gi ) {
+	    # check whether the file for the image is present
+	    $link = $1;
+	    die "---Local image `$link' not found in file `$filename'\n"
+		unless ((-r $link) && (-f $link));
+	}
+   }
 }
 
-- 
2.39.5