From 4531700d364d5c6dc9514426600bdd04d3b65b7c Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 12 Aug 2004 16:48:08 +0000 Subject: [PATCH] * doc/Doxyfile.in (GENERATE_TAGFILE): Build spot.tag. * doc/Makefile.am (dist_pkgdata_DATA): Add spot.tag. --- ChangeLog | 3 +++ doc/Doxyfile.in | 2 +- doc/Makefile.am | 6 +++++- 3 files changed, 9 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index 3b288272c..2d6179580 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,8 @@ 2004-08-12 Alexandre Duret-Lutz + * doc/Doxyfile.in (GENERATE_TAGFILE): Build spot.tag. + * doc/Makefile.am (dist_pkgdata_DATA): Add spot.tag. + * src/tgbatest/ltl2tgba.cc (syntax): Typo. * doc/Doxyfile.in (STRIP_FROM_PATH): Strip @srcdir@ so its diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in index 8bc742011..736d9d071 100644 --- a/doc/Doxyfile.in +++ b/doc/Doxyfile.in @@ -1001,7 +1001,7 @@ TAGFILES = # When a file name is specified after GENERATE_TAGFILE, doxygen will create # a tag file that is based on the input files it reads. -GENERATE_TAGFILE = +GENERATE_TAGFILE = @srcdir@/spot.tag # If the ALLEXTERNALS tag is set to YES all external classes will be listed # in the class index. If set to NO only the inherited external classes diff --git a/doc/Makefile.am b/doc/Makefile.am index 2b2222488..a8224ab36 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -35,7 +35,7 @@ $(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac $(DOXYGEN) touch $@ -$(srcdir)/spot.html: $(srcdir)/stamp +$(srcdir)/spot.html $(srcdir)/spot.tag: $(srcdir)/stamp spot.latex: $(srcdir)/stamp $(srcdir)/spotref.pdf: $(srcdir)/stamp @@ -43,6 +43,10 @@ $(srcdir)/spotref.pdf: $(srcdir)/stamp && texi2dvi --pdf refman.tex \ && cd .. && mv -f spot.latex/refman.pdf $@ +# spot.tag is useful to third-party packages that must link to the +# Spot documentation. +dist_pkgdata_DATA = $(srcdir)/spot.tag + EXTRA_DIST = \ footer.html \ mainpage.dox \