From 9badaa242a9e969ef8a453db3fe00f303eefd4f1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Manuel=20P=C3=A9gouri=C3=A9-Gonnard?= Date: Fri, 1 May 2009 16:12:48 +0200 Subject: Makefile's: new 'manifest' target. --- Makefile | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 7cd688d..d27af3e 100644 --- a/Makefile +++ b/Makefile @@ -35,8 +35,9 @@ DO_PDFLATEX = pdflatex --interaction=batchmode $< >/dev/null DO_MAKEINDEX = makeindex -s gind.ist $(subst .dtx,,$<) >/dev/null 2>&1 all: $(GENERATED) -ctan: $(CTAN_ZIP) doc: $(COMPILED) +unpack: $(UNPACKED) +ctan: $(CTAN_ZIP) tds: $(TDS_ZIP) world: all ctan @@ -64,10 +65,17 @@ $(TDS_ZIP): $(ALL_FILES) @zip -9 $@ -r $(ALL_DIRS) >/dev/null @$(RM) -r tex doc source +.PHONY: manifest clean mrproper + +manifest: + @echo "Source files:" + @echo $(SOURCE) + @echo "Derived files:" + @echo $(COMPILED) $(GENERATED) + clean: @$(RM) -- *.log *.aux *.toc *.idx *.ind *.ilg mrproper: clean @$(RM) -- $(GENERATED) $(ZIPS) -.PHONY: clean mrproper -- cgit v1.2.3