# generic targets
-default: autogen-doc tutorial development
+default: autogen-doc tutorial development validate-xrefs
all: default autogen-doc-all
development:
cd development ; $(MAKE)
+
+validate-xrefs:
+ @echo "Validating cross-references in HTML files."
+ cd tutorial ; $(MAKE) validate-xrefs
+ cd development ; $(MAKE) validate-xrefs
+
clean:
cd auto ; $(MAKE) clean
cd tutorial ; $(MAKE) clean
cd development ; $(MAKE) clean
-.PHONY: default all autogen-doc autogen-doc-all tutorial clean development
+.PHONY: default all autogen-doc autogen-doc-all tutorial clean development validate-xrefs
+++ /dev/null
-body {}
-
-frameset {}
-
-td {}
-
-dt {}
-
-.figure {}
-
-.pagetoc {}
-
-.chapter_title {}
-
-
-span.parhead {}
-
-span.example {}
-pre.example {}
-table.navbar {}
-
--- /dev/null
+# $Id$
+# Check whether references in HTML files are valid or
+# point to non-existing files/links/etc
+#
+# Author: Wolfgang Bangerth, 2000
+
+
+# set this to 1 if you want verbose output
+$debug = 0;
+
+foreach $filename (@ARGV) {
+ open IN, $filename
+ or die "---Can't open file `$filename'\n";
+
+ print "File: $filename\n" if $debug;
+ while (<IN>) {
+ # first find all hrefs
+ while ( /href=\"?(.*?)[\s\"]/g ) {
+ # then decide whether they are relevant for
+ # our purpose
+ $link = $1;
+
+ if ( $link =~ /^mailto|http/ ) {
+ # link is external. don't check it
+ print "external link: $link\n" if $debug;
+ next;
+ }
+ elsif ( $link =~ /^#(.*)/ )
+ {
+ # 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> ) {
+ if ( /<a name=\"?(.*?)[\s\"]/ ) {
+ 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;
+ print "external reference: $link\n" if $debug;
+
+ open IN2, $external_file;
+ $found = 0;
+ while ( <IN2> ) {
+ if ( /<a name=\"?(.*?)[\s\"]/ ) {
+ if ( $1 eq $external_ref) {
+ print " found.\n" if $debug;
+ $found = 1;
+ last;
+ }
+ }
+ }
+
+ die "---External reference `$internal_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
+ die "---Local file `$link' not found in file `$filename'\n"
+ unless ((-r $link) && (-f $link));
+ }
+ }
+ }
+}
+
+# $Id$
+
+
D = ../..
include $D/common/Make.global_options
@$(PERL) makefile2html < $< > $@
+validate-xrefs:
+ $(PERL) $D/doc/auto/scripts/validate-xrefs.pl \
+ $(filter-out makefiles.1.html makefiles.2.html, \
+ $(shell echo *.html))
+
+
+
clean:
-rm -f makefiles.html makefile.small.html makefile.large.html
-.PHONY: default clean
+.PHONY: default validate-xrefs clean
<title>deal.II Homepage</title>
<link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="../audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II">
</head>
<head>
<link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="../audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Homepage - Makefiles</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
<title>deal.II Homepage</title>
<link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="../audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<meta name="author" content="Jan Schrage and others <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II">
</head>
<head>
<link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="../audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Homepage</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
<li>
<p>
- A <a href="auto/cvs-backlog/newdeal.html" target="_top"> backlog
+ A <a href="http://gaia.iwr.uni-heidelberg.de/~deal/auto/cvs-backlog/newdeal.html" target="_top"> backlog
of changes</a> made to the CVS archive in the last 100 days.
</p>
<title>deal.II Homepage</title>
<link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="../audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<meta name="author" content="Jan Schrage and others <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II">
</head>
<head>
<link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="../audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Homepage</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
<head>
<link href="../screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="../print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="../audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Homepage - Makefiles</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
<head>
<link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Homepage</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
<title>deal.II Homepage</title>
<link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II">
</head>
<head>
<link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Readme</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
model where all source
code to the software is made available to all users and can be freely
modified and redistributed. <p> The QPL prohibits development of
-proprietary software. For Qt our <a href="/pricing.html">Qt Professional
+proprietary software. For Qt our <a href="http://www.troll.no/pricing.html">Qt Professional
Edition</a> product is available for this.
<p>
<title>deal.II Homepage</title>
<link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<meta name="author" content="Jan Schrage and others <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II">
</head>
<head>
<link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Readme</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
<title>deal.II Homepage</title>
<link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<meta name="author" content="Jan Schrage and others <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II">
</head>
<head>
<link href="screen.css" rel="StyleSheet" title="deal.II Homepage" media="screen">
<link href="print.css" rel="StyleSheet" title="deal.II Homepage" media="print">
- <link href="audio.css" rel="StyleSheet" title="deal.II Homepage" media="aural">
<title>The deal.II Homepage</title>
<meta name="author" content="Wolfgang Bangerth <deal@iwr.uni-heidelberg.de>">
<meta name="keywords" content="deal.II"></head>
managing the library, contributing code, and writing
documentation.
<a href="http://gaia.iwr.uni-heidelberg.de/~kanschat/" target="_top">Guido
- Kanschat</a> started contributing advice in the early
+ Kanschat</a> helped with advice in the early
implementation stages on questions of the design of object-oriented
finite element software and later joined into the coding.