diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:56:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-22 17:56:15 +0000 |
| commit | e55ee1eb9ff921d8d70f9689f40c0131ff6b2dba (patch) | |
| tree | 3c0ab9d4621472c2b24e891a26758ec789c98160 /doc/Makefile | |
| parent | 1cb4b2c69018664157e7038355c95d17fe058f71 (diff) | |
Fixed conditional inclusion of image. Added pdf to distdoc.
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 13 |
1 files changed, 6 insertions, 7 deletions
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 |