From cb2452223e8ad9f724ec15e604910de84835b04b Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Tue, 28 Sep 2010 19:17:23 +0200 Subject: INSTALL should be in extra_dist, not doc --- makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'makefile') 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) -- cgit v1.1