X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=c079170bb48912dab12dacb6fd5a54f5d9bac935;hb=0a599d220f1332cbe03decc54fc4e51628d0502a;hp=000bfa0b8f3d16734cf53d77981084bb0621d7bc;hpb=bcd95f911539fd5308bec5a025bcadba712a3830;p=ghc-hetmet.git

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