diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-09 13:45:35 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-05-10 19:23:54 +0200 |
commit | 3d1e1adba6c6a7975ee1875d226294f5c6fb196c (patch) | |
tree | 244ebe201bb5ce469cb81e5b1dbd72db50b75082 /INSTALL.doc | |
parent | 012ac80c38d431d68f1dacb01fbfe27bcb7f7eb0 (diff) |
Clean-up in Makefile.doc and include Sphinx in doc-html target.
Diffstat (limited to 'INSTALL.doc')
-rw-r--r-- | INSTALL.doc | 1 |
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/) |