From c534bac478598e05d9dc8903103721e8216dd2cd Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 9 Jul 2004 14:51:56 +0000
Subject: [PATCH] * 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       | 4 ++++
 doc/Doxyfile.in | 2 +-
 doc/Makefile.am | 8 ++++++--
 doc/footer.html | 7 +++++++
 4 files changed, 18 insertions(+), 3 deletions(-)
 create mode 100644 doc/footer.html

diff --git a/ChangeLog b/ChangeLog
index f87848071..a30c4bd89 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 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.
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index 4f9af5250..de40e3b9b 100644
--- a/doc/Doxyfile.in
+++ b/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
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 75a26e44c..2b2222488 100644
--- a/doc/Makefile.am
+++ b/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
diff --git a/doc/footer.html b/doc/footer.html
new file mode 100644
index 000000000..3d0090717
--- /dev/null
+++ b/doc/footer.html
@@ -0,0 +1,7 @@
+<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>