summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile7
1 files changed, 0 insertions, 7 deletions
diff --git a/Makefile b/Makefile
index e0e21fd785..bfdf8c3b30 100644
--- a/Makefile
+++ b/Makefile
@@ -235,13 +235,6 @@ distribute := README INSTALL NOTES COPYING.LIB COPYING ChangeLog NEWS \
distribute := $(strip $(distribute))
generated := $(generated) stubs.h
-.PHONY: dist
-dist: Make-dist $(distribute)
- $(MAKE) -f $< no_deps=t \
- 'distribute=$(distribute)' \
- 'generated=$(generated)' \
- $(Make-dist-args)
-
README: README.template version.c ; # Make-dist should update README.
INSTALL: manual/maint.texi