diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 15:16:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 15:16:30 +0000 |
commit | e6cbbeffbaae14035dea51facc5e49cd7105583c (patch) | |
tree | d50d704b97a4cacf4c7952ed1f75fb9a3f1afa08 /doc | |
parent | 95a74ccb8883f71796bb0b1ce7ba3e817abfb112 (diff) |
Attempt to force image build
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.doc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index 766e6378..75ce79cf 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -84,21 +84,21 @@ ProofGeneralPortrait.eps: FORCE 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) > ProofGeneral.texi; \ + sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \ else \ sed 's/@set haveeps/@clear haveeps/g' $(DOCNAME).texi > $(TMPFILE); \ - sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ + sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \ fi 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.pdf ]; then \ - sed 's/@clear haveeps/@set haveeps/g' ProofGeneral.texi > $(TMPFILE); \ - sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ + sed 's/@clear haveeps/@set haveeps/g' $(DOCNAME).texi > $(TMPFILE); \ + sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \ else \ - sed 's/@set haveeps/@clear haveeps/g' ProofGeneral.texi > $(TMPFILE); \ - sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ + sed 's/@set haveeps/@clear haveeps/g' $(DOCNAME).texi > $(TMPFILE); \ + sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > $(DOCNAME).texi; \ fi rm -f $(TMPFILE) |