diff --git a/ChangeLog b/ChangeLog
index 8be0d2539..ed23d4032 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,11 @@
+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.
diff --git a/NEWS b/NEWS
index dc66b0e9b..ce1b25445 100644
--- a/NEWS
+++ b/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.
diff --git a/README b/README
index 485748b5b..00067d74d 100644
--- a/README
+++ b/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,
diff --git a/doc/Doxyfile.in b/doc/Doxyfile.in
index 60cf3aac7..afeae462d 100644
--- a/doc/Doxyfile.in
+++ b/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
diff --git a/doc/Makefile.am b/doc/Makefile.am
index 451689b33..05e6a5a01 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,4 +1,4 @@
-## Copyright (C) 2010 Laboratoire de Recherche et Développement de
+## Copyright (C) 2010, 2011 Laboratoire de Recherche et Développement de
 ## l'Epita (LRDE).
 ## Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris
 ## 6 (LIP6), département Systèmes Répartis Coopératifs (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