From 015e33fb137c89ba96b2806f828cd47341c3bd92 Mon Sep 17 00:00:00 2001
From: emakarov <emakarov@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 6 Sep 2010 16:27:13 +0000
Subject: Added doc/refman/coqide.eps and coqide-queries.eps to remove the need
 for pngtopnm and pnmtops

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13401 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.doc | 3 ---
 1 file changed, 3 deletions(-)

(limited to 'Makefile.doc')

diff --git a/Makefile.doc b/Makefile.doc
index 56daaa851..584e25394 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -56,9 +56,6 @@ endif
 %.ps: %.dvi
 	(cd `dirname $<`; dvips -q -o `basename $@` `basename $<`)
 
-%.eps: %.png
-	pngtopnm $< | pnmtops -equalpixels -noturn -rle > $@
-
 ######################################################################
 # Macros for filtering outputs
 ######################################################################
-- 
cgit v1.2.3