binary-dist: Makefile-vars needs HADDOCK_DOCS=YES

7fa5c11d · Simon Marlow · 4d0d0e54 · 7fa5c11d
Commit 7fa5c11d authored Oct 25, 2007 by Simon Marlow
--- 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