summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorManuel Pégourié-Gonnard <mpg@elzevir.fr>2009-05-01 16:12:48 +0200
committerManuel Pégourié-Gonnard <mpg@elzevir.fr>2009-05-01 16:12:48 +0200
commit9badaa242a9e969ef8a453db3fe00f303eefd4f1 (patch)
treeaba20ee60104376b4ababc3e2ae1b9f4c4bcca44 /Makefile
parent8c9d2482d1db3817df7c2ea935c15accd0409cd0 (diff)
downloadluaotfload-9badaa242a9e969ef8a453db3fe00f303eefd4f1.tar.gz
Makefile's: new 'manifest' target.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile12
1 files 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