diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 13:39:53 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-21 13:39:53 +0000 |
commit | 8ebce7b5ada52c4a9937a609bcd1734d437409a8 (patch) | |
tree | 9a65e9647b636a9690b8e19df295b428d61ceb2d /doc/Makefile.doc | |
parent | 6793b01948ffed221062c1a3346f4b7cd19dcb4d (diff) |
Fix clean targets
Diffstat (limited to 'doc/Makefile.doc')
-rw-r--r-- | doc/Makefile.doc | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc index f1830915..029536f1 100644 --- a/doc/Makefile.doc +++ b/doc/Makefile.doc @@ -122,10 +122,8 @@ all: dvi ps html info pdf ## dist: info html pdf -dvi: ProofGeneralPortrait.eps $(DOCNAME).dvi -ps: dvi $(DOCNAME).ps -psz: ps $(DOCNAME).ps.gz pdf: ProofGeneralPortrait.pdf $(DOCNAME).pdf + # da: target is a fake: we actually make in a subdir html: $(DOCNAME).html info: ProofGeneral.txt $(DOCNAME).info @@ -137,10 +135,10 @@ info: ProofGeneral.txt $(DOCNAME).info ## ## clean: Remove subsidiary documentation files ## +CLEANTARGS:=$(DOCNAME).cp $(DOCNAME).fn $(DOCNAME).vr $(DOCNAME).tp $(DOCNAME).ky $(DOCNAME).kys $(DOCNAME).pg $(DOCNAME).fns $(DOCNAME).vrs $(DOCNAME).cps $(DOCNAME).aux $(DOCNAME).log $(DOCNAME).cp $(DOCNAME).cp0 $(DOCNAME).toc clean: rm -f ProofGeneral.txt ProofGeneralPortrait.eps ProofGeneralPortrait.pdf - rm -f $(DOCNAME).{cp,fn,vr,tp,ky,pg} - rm -f $(DOCNAME).{fns,vrs,cps,aux,log,toc,kys,cp0} + rm -f $(CLEANTARGS) rm -f *~ ## |