From 45779d74209a728cfd67628eaa53b42fee129f65 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Mon, 17 Aug 2015 15:58:18 +0200
Subject: Remove generatable documentation files from repository. (Fix bug
 #4315)

---
 INSTALL.doc | 28 +++++++++++-----------------
 1 file changed, 11 insertions(+), 17 deletions(-)

(limited to 'INSTALL.doc')

diff --git a/INSTALL.doc b/INSTALL.doc
index 96918b49f9..7658800584 100644
--- a/INSTALL.doc
+++ b/INSTALL.doc
@@ -1,7 +1,7 @@
                            The Coq documentation
                            =====================
 
-The Coq documentation includes 
+The Coq documentation includes
 
 - A Reference Manual
 - A Tutorial
@@ -15,31 +15,25 @@ html files are generated.
 Prerequisite
 ------------
 
-To produce the PostScript documents, the following tools
-are needed:
+To produce all the documents, the following tools are needed:
 
   - latex (latex2e)
+  - pdflatex
   - dvips
   - bibtex
   - makeindex
-  - pngtopnm and pnmtops (for the Reference Manual and the FAQ)
-
-To produce the PDF documents, the following tools are needed:
-
-  - pdflatex
-  - bibtex
-
-To produce the html documents, the following tools are needed:
-
-  - hevea (e.g. 1.07 works)
+  - fig2dev
+  - convert
+  - hevea
+  - hacha
 
 
 Under Debian based operating systems (Debian, Ubuntu, ...) a
 working set of packages for compiling the documentation for Coq is:
 
   texlive texlive-latex-extra texlive-math-extra texlive-fonts-extra
-  texlive-lang-french texlive-humanities texlive-pictures latex-xcolor
-  hevea netpbm
+  texlive-humanities texlive-pictures latex-xcolor hevea transfig
+  imagemagick
 
 
 Compilation
@@ -52,7 +46,7 @@ To produce all documentation about Coq, just run:
 
 Alternatively, you can use some specific targets:
 
-   make doc-ps 
+   make doc-ps
    	to produce all PostScript documents
 
    make doc-pdf
@@ -74,7 +68,7 @@ Alternatively, you can use some specific targets:
         to produce all formats of the FAQ
 
    make stdlib
-   	to produce all formats of the Coq standard library 
+        to produce all formats of the Coq standard library
 
 
 Installation
-- 
cgit v1.2.3