2007-01-29 Paolo Bonzini <bonzini@gnu.org>

[bison.git] / doc / Makefile.am

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 2466b26af852a82b9fdd430db4df7d585ed5ad13..35b073566c2b2fd9e25f67f3addf0367b540457f 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -24,11 +24,44 @@ bison_TEXINFOS = gpl.texi fdl.texi
 EXTRA_DIST = bison.1 refcard.tex
 
 CLEANFILES = refcard.dvi refcard.log refcard.ps bison.fns
-
+CLEANDIRS = *.t2d
 clean-local:
-       rm -rf *.t2d
+       rm -rf $(CLEANDIRS)
 
 refcard.dvi: refcard.tex
        tex refcard.tex
 
 refcard.ps: refcard.dvi
+
+
+
+## -------------- ##
+## Doxygenation.  ##
+## -------------- ##
+
+DOXYGEN = doxygen
+
+.PHONY: doc html
+
+doc: html
+
+html-local: Doxyfile
+       $(DOXYGEN)
+
+edit = sed -e "s|@ID@|$$Id|" \
+          -e 's,@PACKAGE_NAME\@,$(PACKAGE_NAME),g' \
+          -e 's,@PACKAGE_VERSION\@,$(PACKAGE_VERSION),g' \
+          -e 's,@top_builddir\@,$(top_builddir),g' \
+          -e 's,@top_srcdir\@,$(top_srcdir),g'
+
+EXTRA_DIST += Doxyfile.in
+CLEANFILES += Doxyfile
+# Sed is used to generate Doxyfile from Doxyfile.in instead of
+# configure, because the former is way faster than the latter.
+# Moreover, this file is updated whenever ChangeLog is touched: using
+# sed instead of configure saves us a lot of time.
+Doxyfile: $(top_srcdir)/ChangeLog $(srcdir)/Doxyfile.in
+       Id=`grep '^\$$Id' $(top_srcdir)/ChangeLog`; \
+       $(edit) $(srcdir)/Doxyfile.in >Doxyfile
+
+CLEANDIRS += html latex