From 9f05901696feba9c970c3385af08b4779aae9078 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Sat, 28 Apr 2018 23:47:34 +0200
Subject: [doc] Remove unused dependencies.

AFAICS `imagemagick` `hacha` and `transfig` are not used anymore.
---
 .gitlab-ci.yml |  2 +-
 .travis.yml    |  2 --
 INSTALL.doc    |  8 ++------
 Makefile.doc   | 17 -----------------
 4 files changed, 3 insertions(+), 26 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d72a33e86..ad3d5e46d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -25,7 +25,7 @@ variables:
   #COQIDE_PACKAGES_32BIT: "libgtk2.0-dev:i386 libgtksourceview2.0-dev:i386"
   COQIDE_OPAM: "lablgtk-extras"
   COQIDE_OPAM_BE: "lablgtk.2.18.6 lablgtk-extras.1.6"
-  COQDOC_PACKAGES: "texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-math-extra texlive-fonts-recommended texlive-fonts-extra latex-xcolor ghostscript transfig imagemagick tipa python3-pip"
+  COQDOC_PACKAGES: "texlive-latex-base texlive-latex-recommended texlive-latex-extra texlive-math-extra texlive-fonts-recommended texlive-fonts-extra latex-xcolor ghostscript tipa python3-pip"
   COQDOC_OPAM: "hevea"
   SPHINX_PACKAGES: "bs4 sphinx sphinx_rtd_theme pexpect antlr4-python3-runtime sphinxcontrib-bibtex"
   ELPI_OPAM: "elpi"
diff --git a/.travis.yml b/.travis.yml
index dca326a20..a60d68de5 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -163,8 +163,6 @@ matrix:
           - texlive-fonts-extra
           - latex-xcolor
           - ghostscript
-          - transfig
-          - imagemagick
           - tipa
           - python3
           - python3-pip
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
diff --git a/Makefile.doc b/Makefile.doc
index ce31c5fcb..9b6013d8d 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -32,10 +32,7 @@ BIBTEX:=BIBINPUTS=.: bibtex -min-crossrefs=10
 MAKEINDEX:=makeindex
 PDFLATEX:=pdflatex
 DVIPS:=dvips
-FIG2DEV:=fig2dev
-CONVERT:=convert
 HEVEA:=hevea
-HACHA:=hacha
 HEVEAOPTS:=-fix -exec xxdate.exe
 HEVEALIB:=/usr/local/lib/hevea:/usr/lib/hevea
 HTMLSTYLE:=coqremote
@@ -110,20 +107,6 @@ endif
 %.ps: %.dvi
 	(cd `dirname $<`; $(DVIPS) -q -o `basename $@` `basename $<`)
 
-%.png: %.fig
-	$(FIG2DEV) -L png -m 2 $< $@
-
-%.pdf: %.fig
-	$(FIG2DEV) -L pdftex $< $@
-	$(FIG2DEV) -L pdftex_t -p `basename $@` $< $@_t
-
-%.eps: %.fig
-	$(FIG2DEV) -L pstex $< $@
-	$(FIG2DEV) -L pstex_t -p `basename $@` $< $@_t
-
-%.eps: %.png
-	$(CONVERT) $< $@
-
 ######################################################################
 # Macros for filtering outputs
 ######################################################################
-- 
cgit v1.2.3