From: Simon Marlow <simonmar@microsoft.com>
Date: Thu, 25 Oct 2007 13:58:16 +0000 (+0000)
Subject: binary-dist: Makefile-vars needs HADDOCK_DOCS=YES
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=7fa5c11df9430fc35645bd7e74ad0f284e783d82;p=ghc-hetmet.git

binary-dist: Makefile-vars needs HADDOCK_DOCS=YES
---

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