From b53d8aac71060bbd2e3ca2f9ab63e2a173632d0c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 30 Jun 2003 12:07:30 +0000
Subject: [PATCH] * doc/Doxygen.in: Enable LaTeX output. * doc/Makefile.am
 (spotref.pdf): New rule. (EXTRA_DIST): Add spotref.pdf.

---
 ChangeLog       |  4 ++++
 doc/Doxyfile.in | 12 ++++++------
 doc/Makefile.am |  7 ++++++-
 3 files changed, 16 insertions(+), 7 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 32324b245..d71bcd938 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,9 @@
 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_.
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index c94e3feee..e709ad7b5 100644
--- a/doc/Doxyfile.in
+++ b/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
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 96959c7d5..32975d029 100644
--- a/doc/Makefile.am
+++ b/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