diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 15:14:49 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-10-02 15:14:49 +0000 |
commit | 95a74ccb8883f71796bb0b1ce7ba3e817abfb112 (patch) | |
tree | 475747cc5aece91eea1868c2359c462561ef2dc0 /doc/Makefile.doc | |
parent | 4ad8fa5972b9b91cdb8a731c969fbb1d2fdf8215 (diff) |
Attempt to force image build
Diffstat (limited to 'doc/Makefile.doc')
-rw-r--r-- | doc/Makefile.doc | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index 0ab113e1..766e6378 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -75,19 +75,18 @@ rearrange: default: doc +FORCE: + ProofGeneral.txt: echo > ProofGeneral.txt -# In fact, the flag seems not to work (why?), -# so comment out the image line too. -# NB! mustn't have another line with '@c image' in it. -ProofGeneralPortrait.eps: +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' ProofGeneral.texi > $(TMPFILE); \ + sed 's/@clear haveeps/@set haveeps/g' $(DOCNAME).texi > $(TMPFILE); \ sed 's/@c image{ProofGeneralPortrait}/@image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ else \ - sed 's/@set haveeps/@clear haveeps/g' ProofGeneral.texi > $(TMPFILE); \ + sed 's/@set haveeps/@clear haveeps/g' $(DOCNAME).texi > $(TMPFILE); \ sed 's/@image{ProofGeneralPortrait}/@c image{ProofGeneralPortrait}/g' $(TMPFILE) > ProofGeneral.texi; \ fi rm -f $(TMPFILE) |