diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-28 23:47:34 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-04-28 23:47:34 +0200 |
| commit | 9f05901696feba9c970c3385af08b4779aae9078 (patch) | |
| tree | 55c0c3aec2459ef3f43321d791b2947f849bd243 /INSTALL.doc | |
| parent | a76730b8479b9036e814cc3ff5e7f32d46fc942c (diff) | |
[doc] Remove unused dependencies.
AFAICS `imagemagick` `hacha` and `transfig` are not used anymore.
Diffstat (limited to 'INSTALL.doc')
| -rw-r--r-- | INSTALL.doc | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/INSTALL.doc b/INSTALL.doc index 625c36869..8c578fbd6 100644 --- a/INSTALL.doc +++ b/INSTALL.doc @@ -22,10 +22,7 @@ To produce all the documents, the following tools are needed: - dvips - bibtex - makeindex - - fig2dev (transfig) - - convert (ImageMagick) - hevea - - hacha - Python 3 - Sphinx 1.6.5 (http://www.sphinx-doc.org/en/stable/) - sphinx_rtd_theme @@ -38,9 +35,8 @@ 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-humanities texlive-pictures latex-xcolor hevea transfig - imagemagick - python3 python-pip3 + texlive-humanities texlive-pictures latex-xcolor hevea python3 + python-pip3 To install the Python packages required to build the user manual, run: pip3 install sphinx sphinx_rtd_theme beautifulsoup4 antlr4-python3-runtime pexpect sphinxcontrib-bibtex |