diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -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 |