X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;h=c079170bb48912dab12dacb6fd5a54f5d9bac935;hb=6ac37f3bfd72d6fdc819821bfaea1aa70d46f53c;hp=e195f8888b575d37a134431fce7ba1ed5cae0dfc;hpb=47bf4da36fc8ce14c79d1f6d6177dac1e8fb15e2;p=ghc-hetmet.git

diff --git a/Makefile b/Makefile
index e195f88..c079170 100644
--- a/Makefile
+++ b/Makefile
@@ -330,6 +330,9 @@ binary-dist::
 	echo "GhcHasReadline = $(GhcHasReadline)"                    >> $(VARFILE)
 	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