diff options
-rw-r--r-- | doc/Makefile.doc | 4 | ||||
-rw-r--r-- | doc/PG-adapting.texi | 4 | ||||
-rw-r--r-- | doc/ProofGeneral.texi | 4 |
3 files changed, 6 insertions, 6 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; \ diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 65576185..a7ced8f1 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -18,7 +18,7 @@ @c http://www.proofgeneral.org/ProofGeneralPortrait.eps.gz @c then put it into this directory and 'make dvi' (pdf,ps) @c will set the flag below automatically. -@set haveeps +@clear haveeps @iftex @afourpaper @end iftex @@ -108,7 +108,7 @@ END-INFO-DIR-ENTRY @c so we take it out for now. @c Ideally would like some way of generating eps from @c the .jpg file. -@image{ProofGeneralPortrait} +@c image{ProofGeneralPortrait} @end ifset @end iftex @author David Aspinall with T. Kleymann diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 35766b46..89e3882f 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -18,7 +18,7 @@ @c http://www.proofgeneral.org/ProofGeneralPortrait.eps.gz @c then put it into this directory and 'make dvi' (pdf,ps) @c will set the flag below automatically. -@set haveeps +@clear haveeps @iftex @afourpaper @end iftex @@ -113,7 +113,7 @@ END-INFO-DIR-ENTRY @c so we take it out for now. @c Ideally would like some way of generating eps from @c the .jpg file. -@image{ProofGeneralPortrait} +@c image{ProofGeneralPortrait} @end ifset @end iftex @author David Aspinall with H. Goguen, T. Kleymann and D. Sequeira |