From e55ee1eb9ff921d8d70f9689f40c0131ff6b2dba Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 22 Nov 1999 17:56:15 +0000 Subject: Fixed conditional inclusion of image. Added pdf to distdoc. --- doc/Makefile | 13 ++++++------- 1 file changed, 6 insertions(+), 7 deletions(-) (limited to 'doc/Makefile') diff --git a/doc/Makefile b/doc/Makefile index f489be81..066a6fd2 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -82,22 +82,21 @@ ProofGeneralPortrait.eps: 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' ProofGeneral.texi > $(TMPFILE); \ - sed 's/@c image{ProofGeneral}/@image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \ + sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ else \ sed 's/@set haveeps/@clear haveeps/g' ProofGeneral.texi > $(TMPFILE); \ - sed 's/@image{ProofGeneral}/@c image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \ + sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ fi rm -f $(TMPFILE) ProofGeneralPortrait.pdf: - if [ -f ProofGeneralPortrait.eps.gz ]; then gunzip -c ProofGeneralPortrait.eps.gz > ProofGeneralPortrait.eps; fi - epstopdf ProofGeneralPortrait.eps + 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' ProofGeneral.texi > $(TMPFILE); \ - sed 's/@c image{ProofGeneral}/@image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \ + sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ else \ sed 's/@set haveeps/@clear haveeps/g' ProofGeneral.texi > $(TMPFILE); \ - sed 's/@image{ProofGeneral}/@c image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \ + sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ fi rm -f $(TMPFILE) @@ -117,7 +116,7 @@ all: dvi ps html info pdf ## ## dist: build distribution targets ## -dist: info html psz +dist: info html psz pdf dvi: ProofGeneralPortrait.eps $(DOCNAME).dvi ps: dvi $(DOCNAME).ps -- cgit v1.2.3