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

1 files changed, 1 insertions, 1 deletions

diff --git a/configure b/configure
index b357595712..e24289e8ae 100755
--- a/configure
+++ b/configure
@@ -693,7 +693,7 @@ esac
 
 if test "$with_doc" = "all" 
 then
-    for cmd in "latex" "hevea" "pngtopnm" "pnmtops" ; do
+    for cmd in "latex" "hevea" ; do
 	if test ! -x "`which $cmd`"
 	then 
 	    echo "$cmd was not found; documentation will not be available"