aboutsummaryrefslogtreecommitdiff
path: root/makefile
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2010-09-28 19:17:23 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2010-09-28 19:17:23 +0200
commitcb2452223e8ad9f724ec15e604910de84835b04b (patch)
treede8a4cbc075088f88b42ae3879efe6bdb5cfba03 /makefile
parentc1690335f939a400864f8fe705aa49bf9121b7ef (diff)
INSTALL should be in extra_dist, not doc
Diffstat (limited to 'makefile')
-rw-r--r--makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/makefile b/makefile
index f786498..8fc68b0 100644
--- a/makefile
+++ b/makefile
@@ -14,8 +14,8 @@ clean := $(out_base)/.clean
$(default): $(addprefix $(out_base)/,$(addsuffix /,$(dirs)))
$(dist): export dirs := $(dirs)
-$(dist): export docs := GPLv3 LICENSE README INSTALL NEWS version
-$(dist): data_dist :=
+$(dist): export docs := GPLv3 LICENSE README NEWS version
+$(dist): data_dist := INSTALL
$(dist): exec_dist := bootstrap
$(dist): export extra_dist := $(data_dist) $(exec_dist)
$(dist): export version = $(shell cat $(src_root)/version)