Remove spotref.pdf.

* doc/Doxyfile.in: Do not generate LaTeX output.
* doc/Makefile.am: Do not build spotref.pdf.
* NEWS, README: Adjust.

ChangeLog

+2011-11-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	Remove spotref.pdf.
+
+	* doc/Doxyfile.in: Do not generate LaTeX output.
+	* doc/Makefile.am: Do not build spotref.pdf.
+	* NEWS, README: Adjust.
+
 2011-11-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	Fix some Doxygen errors.

NEWS

@@ -23,6 +23,7 @@ New in spot 0.7.1a:
     - Identifiers used to name atomic proposition can contain dots.
       E.g.: X.Y is now an atomic proposition, while it was understood
       as X&Y in previous versions.
+    - The Doxygen documentation is no longer built as a PDF file.
   * Internal improvements:
     - The on-line ltl2tgba CGI script uses a cache to produce faster
       answers.

README

@@ -130,8 +130,6 @@ src/              Sources for libspot.
    sanity/        Sanity tests for the whole project.
 doc/              Documentation for libspot.
    spot.html/     HTML reference manual.
-   spot.latex/    Sources for the PDF manual. (Not distributed, can be rebuilt.)
-   spotref.pdf    PDF reference manual.
 bench/            Benchmarks for ...
    emptchk/       ... emptiness-check algorithms,
    gspn-ssp/      ... various symmetry-based methods with GreatSPN,

doc/Doxyfile.in

@@ -1026,7 +1026,7 @@ SERVER_BASED_SEARCH    = NO
 # If the GENERATE_LATEX tag is set to YES (the default) Doxygen will
 # generate Latex output.
 
-GENERATE_LATEX         = YES
+GENERATE_LATEX         = NO
 
 # The LATEX_OUTPUT tag is used to specify where the LaTeX docs will be put.
 # If a relative path is entered the value of OUTPUT_DIRECTORY will be

doc/Makefile.am

-## Copyright (C) 2010 Laboratoire de Recherche et Dveloppement de
+## Copyright (C) 2010, 2011 Laboratoire de Recherche et Dveloppement de
 ## l'Epita (LRDE).
 ## Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris
 ## 6 (LIP6), dpartement Systmes Rpartis Coopratifs (SRC),
@@ -43,12 +43,6 @@ $(srcdir)/stamp: $(srcdir)/Doxyfile.in $(top_srcdir)/configure.ac
 	touch $@
 
 $(srcdir)/spot.html $(srcdir)/spot.tag: $(srcdir)/stamp
-spot.latex: $(srcdir)/stamp
-
-$(srcdir)/spotref.pdf: $(srcdir)/stamp
-	cd spot.latex \
-	  && 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.
@@ -58,5 +52,4 @@ EXTRA_DIST = \
   footer.html \
   mainpage.dox \
   $(srcdir)/stamp \
-  $(srcdir)/spot.html \
-  $(srcdir)/spotref.pdf
+  $(srcdir)/spot.html
\ No newline at end of file