* doc/Doxygen.in: Enable LaTeX output.

* doc/Makefile.am (spotref.pdf): New rule.
(EXTRA_DIST): Add spotref.pdf.

ChangeLog

 2003-06-30  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* doc/Doxygen.in: Enable LaTeX output.
+	* doc/Makefile.am (spotref.pdf): New rule.
+	(EXTRA_DIST): Add spotref.pdf.
+
 	* src/tgba/tgbabddconcretefactory.cc:
 	(tgba_bdd_concrete_factory::tgba_bdd_concrete_factory): New.
 	(tgba_bdd_concrete_factory::create_state): Update now_to_next_.

doc/Doxyfile.in

@@ -111,16 +111,16 @@ TREEVIEW_WIDTH         = 250
 #---------------------------------------------------------------------------
 # configuration options related to the LaTeX output
 #---------------------------------------------------------------------------
-GENERATE_LATEX         = NO
-LATEX_OUTPUT           = spot.tex
-LATEX_CMD_NAME         = latex
+GENERATE_LATEX         = YES
+LATEX_OUTPUT           = spot.latex
+LATEX_CMD_NAME         = texi2dvi --pdf
 MAKEINDEX_CMD_NAME     = makeindex
-COMPACT_LATEX          = NO
+COMPACT_LATEX          = YES
 PAPER_TYPE             = a4wide
 EXTRA_PACKAGES         =
 LATEX_HEADER           =
-PDF_HYPERLINKS         = NO
-USE_PDFLATEX           = NO
+PDF_HYPERLINKS         = YES
+USE_PDFLATEX           = YES
 LATEX_BATCHMODE        = NO
 #---------------------------------------------------------------------------
 # configuration options related to the RTF output

doc/Makefile.am

@@ -17,4 +17,9 @@ $(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac
 spot.html: $(srcdir)/stamp
 spot.latex: $(srcdir)/stamp
 
-EXTRA_DIST = $(srcdir)/stamp spot.html mainpage.dox
+$(srcdir)/spotref.pdf: $(srcdir)/stamp
+	cd spot.latex \
+	  && texi2dvi --pdf refman.tex \
+	  && cd .. && mv -f spot.latex/refman.pdf $@
+
+EXTRA_DIST = $(srcdir)/stamp spot.html mainpage.dox $(srcdir)/spotref.pdf