From 7fa5c11df9430fc35645bd7e74ad0f284e783d82 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Thu, 25 Oct 2007 13:58:16 +0000 Subject: [PATCH] binary-dist: Makefile-vars needs HADDOCK_DOCS=YES --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 000bfa0..c079170 100644 --- a/Makefile +++ b/Makefile @@ -331,6 +331,8 @@ binary-dist:: echo "BootingFromHc = $(BootingFromHc)" >> $(VARFILE) echo "XMLDocWays = $(XMLDocWays)" >> $(VARFILE) echo "TARGETPLATFORM = $(TARGETPLATFORM)" >> $(VARFILE) + echo "HADDOCK_DOCS = $(HADDOCK_DOCS)" >> $(VARFILE) + cat distrib/Makefile-bin-vars.in >> $(VARFILE) @echo "Generating a shippable configure script.." $(MV) $(BIN_DIST_DIR)/configure-bin.ac $(BIN_DIST_DIR)/configure.ac -- 1.7.10.4