From 2ac3fdf7742eb750a984bd6880e18d7ad3c133cd Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 1 May 2001 18:14:55 +0000 Subject: Try to disable image for now --- doc/Makefile.doc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'doc/Makefile.doc') diff --git a/doc/Makefile.doc b/doc/Makefile.doc index d1d78c3a..179ab779 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -81,7 +81,7 @@ ProofGeneral.txt: echo > ProofGeneral.txt ProofGeneralPortrait.eps: FORCE - if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; fi +# if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; fi if [ -f ProofGeneralPortrait.eps ]; then \ sed 's/@clear haveeps/@set haveeps/g' $(DOCNAME).texi > $(TMPFILE); \ sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \ @@ -92,7 +92,7 @@ ProofGeneralPortrait.eps: FORCE rm -f $(TMPFILE) ProofGeneralPortrait.pdf: - if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; epstopdf ProofGeneralPortrait.eps; fi +# if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; epstopdf ProofGeneralPortrait.eps; fi if [ -f ProofGeneralPortrait.pdf ]; then \ sed 's/@clear haveeps/@set haveeps/g' $(DOCNAME).texi > $(TMPFILE); \ sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \ -- cgit v1.2.3