From 8ebce7b5ada52c4a9937a609bcd1734d437409a8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 21 Sep 2009 13:39:53 +0000 Subject: Fix clean targets --- doc/Makefile.doc | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) (limited to 'doc/Makefile.doc') 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 *~ ## -- cgit v1.2.3