diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-05-01 18:14:55 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-05-01 18:14:55 +0000 |
commit | 2ac3fdf7742eb750a984bd6880e18d7ad3c133cd (patch) | |
tree | bed55cae3f8f5f96c276ddacc8a635e152d6e2ca /doc/Makefile.doc | |
parent | 8071eed484eff7e528db45dec7146046cdcb8b1e (diff) |
Try to disable image for now
Diffstat (limited to 'doc/Makefile.doc')
-rw-r--r-- | doc/Makefile.doc | 4 |
1 files changed, 2 insertions, 2 deletions
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; \ |