From 95a74ccb8883f71796bb0b1ce7ba3e817abfb112 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 2 Oct 2000 15:14:49 +0000 Subject: Attempt to force image build --- doc/Makefile.doc | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) (limited to 'doc/Makefile.doc') 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) -- cgit v1.2.3