* doc/footer.html: New file, link to RefDocComments on the wiki.

* doc/Doxyfile.in (HTML_FOOTER): Use footer.html.
* doc/Makefile.am (EXTRA_DIST): Add footer.html.

ChangeLog

 2004-07-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* doc/footer.html: New file, link to RefDocComments on the wiki.
+	* doc/Doxyfile.in (HTML_FOOTER): Use footer.html.
+	* doc/Makefile.am (EXTRA_DIST): Add footer.html.
+
 	* THANKS: Fill in.
 
 	* src/tgbatest/ltl2baw.pl: Do not use -T anymore.  Fix comments.

doc/Doxyfile.in

@@ -593,7 +593,7 @@ HTML_HEADER            =
 # each generated HTML page. If it is left blank doxygen will generate a
 # standard footer.
 
-HTML_FOOTER            =
+HTML_FOOTER            = @srcdir@/footer.html
 
 # The HTML_STYLESHEET tag can be used to specify a user-defined cascading
 # style sheet that is used by each HTML page. It can be used to

doc/Makefile.am

@@ -43,5 +43,9 @@ $(srcdir)/spotref.pdf: $(srcdir)/stamp
 	  && texi2dvi --pdf refman.tex \
 	  && cd .. && mv -f spot.latex/refman.pdf $@
 
-EXTRA_DIST = $(srcdir)/stamp $(srcdir)/spot.html \
-	mainpage.dox $(srcdir)/spotref.pdf
+EXTRA_DIST = \
+  footer.html \
+  mainpage.dox \
+  $(srcdir)/stamp \
+  $(srcdir)/spot.html \
+  $(srcdir)/spotref.pdf

doc/footer.html

+<hr size="1">
+Please <b>comment</b> this page and <b>report errors</b> about it on
+<a href="http://spot.lip6.fr/wiki/RefDocComments">the RefDocComments page</a>.
+<br><address style="align: right;"><small>
+Generated on $datetime for $projectname by <a href="http://www.doxygen.org/index.html"><img src="doxygen.png" alt="doxygen" align="middle" border=0></a> $doxygenversion</small></address>
+</body>
+</html>