--- /dev/null
+# $Id$
+# Check whether references in HTML files are valid or
+# point to non-existing files/links/etc
+#
+# Author: Wolfgang Bangerth, Guido Kanschat 2000, 2004
+
+#TODO: Th
+
+# set this to 1 if you want verbose output
+$debug = 0;
+
+$startdir = `pwd`;
+chop $startdir;
+
+foreach $filename (@ARGV)
+{
+ chdir $startdir || die "Could not change dir to $startdir\n";
+ open IN, $filename
+ or die "---Can't open file `$filename'\n";
+
+ print "File: $filename\n" if $debug;
+ if ($filename =~ m!(.+)/([^/]+)!)
+ {
+ chdir $1;
+ $filename = $2;
+ }
+
+ while (<IN>) {
+ # first find all hrefs
+ while ( /<\s*a\s+href=\"?(.*?)[\s\"]/gi ) {
+ # then decide whether they are relevant for
+ # our purpose
+ $link = $1;
+
+ if ( $link =~ /^mailto|http:\/\//i ) {
+ # link is external. don't check it
+ print "external link: $link\n" if $debug;
+ next;
+ }
+ elsif ( $link =~ m/^#(.*)/ )
+ {
+ # this is a reference within this file. try to
+ # find its anchor
+ $internal_ref = $1;
+ print "internal reference: $link\n" if $debug;
+
+ open IN2, $filename;
+ $found = 0;
+ while ( <IN2> ) {
+ while ( /<a[^>]* name=\"?(.*?)[\s\"]/gi ) {
+ if ( $1 eq $internal_ref) {
+ print " found.\n" if $debug;
+ $found = 1;
+ last;
+ }
+ }
+ }
+
+ die "---Internal reference `$internal_ref' not found in file $filename\n"
+ unless $found;
+ next;
+ }
+ elsif ( $link =~ /^(.*?)#(.*)/ )
+ {
+ # this is a reference within another file. try to
+ # find its anchor
+ $external_file = $1;
+ $external_ref = $2;
+
+ # if the file name was prepended with http: (but is a local file,
+ # so no double-slash), then split off http:
+ $external_file =~ s/^http://g;
+
+ print "external reference: $link\n" if $debug;
+
+ open IN2, $external_file;
+ $found = 0;
+ while ( <IN2> ) {
+ while ( /<a[^>]* name=\"?(.*?)[\s\"]/gi ) {
+ if ( $1 eq $external_ref) {
+ print " found.\n" if $debug;
+ $found = 1;
+ last;
+ }
+ }
+ }
+
+ die "---External reference `$external_file#$external_ref' not found in file $filename\n"
+ unless $found;
+ next;
+ }
+ else {
+ # this must now be a regular file which is
+ # referenced. the file must be local
+
+ # if the file name was prepended with http: (but is a local file,
+ # so no double-slash), then split off http:
+ $link =~ s/^http://g;
+
+ 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));
+ }
+ }
+}
+
+print "---- All local links found to be ok.\n";
# generic targets
-default: doxygen tutorial development glossary # validate-xrefs
+default: doxygen tutorial development validate-xrefs
all: default
validate-xrefs:
@echo "Validating cross-references in HTML files."
-# $(PERL) $D/doc/auto/scripts/validate-xrefs.pl *html
+ $(PERL) $D/common/scripts/validate-xrefs.pl *html doxygen/*/*.html
cd tutorial ; $(MAKE) validate-xrefs
cd development ; $(MAKE) validate-xrefs
- cd glossary ; $(MAKE) validate-xrefs
cd publications ; $(MAKE) validate-xrefs
cd news ; $(MAKE) validate-xrefs
cd reports ; $(MAKE) validate-xrefs
projects / dealii-svn.git / commitdiff