aboutsummaryrefslogtreecommitdiffhomepage
path: root/INSTALL.doc
diff options
context:
space:
mode:
authorGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-05-09 13:45:35 +0200
committerGravatar Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>2018-05-10 19:23:54 +0200
commit3d1e1adba6c6a7975ee1875d226294f5c6fb196c (patch)
tree244ebe201bb5ce469cb81e5b1dbd72db50b75082 /INSTALL.doc
parent012ac80c38d431d68f1dacb01fbfe27bcb7f7eb0 (diff)
Clean-up in Makefile.doc and include Sphinx in doc-html target.
Diffstat (limited to 'INSTALL.doc')
-rw-r--r--INSTALL.doc1
1 files changed, 0 insertions, 1 deletions
diff --git a/INSTALL.doc b/INSTALL.doc
index 6b920eea8..9ce9abb4f 100644
--- a/INSTALL.doc
+++ b/INSTALL.doc
@@ -20,7 +20,6 @@ To produce all the documents, the following tools are needed:
- latex (latex2e)
- pdflatex
- dvips
- - bibtex
- makeindex
- Python 3
- Sphinx 1.6.5 (http://www.sphinx-doc.org/en/stable/)