summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile5
1 files changed, 1 insertions, 4 deletions
diff --git a/Makefile b/Makefile
index fd3eefb..5673cc7 100644
--- a/Makefile
+++ b/Makefile
@@ -87,14 +87,13 @@ DO_STATUS = $(LUA) $(STATUSSCRIPT) > /dev/null
show: showtargets
-all: $(GENERATED)
+all: ctan
builddir: $(BUILDDIR)
resources: $(RESOURCES)
chars: $(CHARS)
status: $(STATUS)
ctan: $(CTAN_ZIP)
tds: $(TDS_ZIP)
-world: all ctan
graph: $(DOTPDF)
doc: $(DOCS)
@@ -185,8 +184,6 @@ mrproper: clean
showtargets:
@echo "Available targets:"
@echo
- @echo " all build everything: documentation, resources,"
- @echo " world build everything and package zipballs"
@echo " doc compile PDF documentation"
@echo " resources generate resource files (chars, glyphs)"
@echo