1 files changed, 1 insertions, 1 deletions
diff --git a/makefile b/makefile
index 3f6bee0..f786498 100644
--- a/makefile
+++ b/makefile
@@ -14,7 +14,7 @@ clean    := $(out_base)/.clean
 $(default): $(addprefix $(out_base)/,$(addsuffix /,$(dirs)))
 
 $(dist): export dirs := $(dirs)
-$(dist): export docs := GPLv3 LICENSE README NEWS version
+$(dist): export docs := GPLv3 LICENSE README INSTALL NEWS version
 $(dist): data_dist := 
 $(dist): exec_dist := bootstrap
 $(dist): export extra_dist := $(data_dist) $(exec_dist)