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.
---
 Makefile.doc | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'Makefile.doc')

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