binary-dist: Makefile-vars needs HADDOCK_DOCS=YES

diff --git a/Makefile b/Makefile
index 000bfa0..c079170 100644 (file)
--- 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