diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-08-20 18:45:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-08-20 18:45:39 +0000 |
| commit | ff40e2d916988ed20e2f89b0063bb3d814072070 (patch) | |
| tree | dc3a9e7ae54884ab9580f82111eda21bb9c28276 /doc/Makefile | |
| parent | 868947fbcd8253178336af1e87fcb090273b71c0 (diff) | |
Remove temporary file
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/doc/Makefile b/doc/Makefile index e89f3904..9ea2eb3a 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -36,6 +36,8 @@ TEXI2PDF = texi2pdf TEXI2HTML = texi2html -expandinfo -number -split_chapter EMACS = xemacs -batch +TMPFILE=pgt + .SUFFIXES: .texi .info .dvi .html .pdf .ps .eps .tiff .gz .texi.info: @@ -72,12 +74,13 @@ ProofGeneral.txt: ProofGeneral.eps: if [ -f ProofGeneral.eps.gz ]; then gunzip -c ProofGeneral.eps.gz > ProofGeneral.eps; fi if [ -f ProofGeneral.eps ]; then \ - sed 's/@clear haveeps/@set haveeps/g' ProofGeneral.texi > pgt; \ - sed 's/@c image{ProofGeneral}/@image{ProofGeneral}/g' pgt > ProofGeneral.texi; \ + sed 's/@clear haveeps/@set haveeps/g' ProofGeneral.texi > $(TMPFILE); \ + sed 's/@c image{ProofGeneral}/@image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \ else \ - sed 's/@set haveeps/@clear haveeps/g' ProofGeneral.texi > pgt; \ - sed 's/@image{ProofGeneral}/@c image{ProofGeneral}/g' pgt > ProofGeneral.texi; \ + sed 's/@set haveeps/@clear haveeps/g' ProofGeneral.texi > $(TMPFILE); \ + sed 's/@image{ProofGeneral}/@c image{ProofGeneral}/g' $(TMPFILE) > ProofGeneral.texi; \ fi + rm -f $(TMPFILE) %.gz : % gzip -f -9 $* |