no longer include html docs by default

.docker/package.Dockerfile

@@ -16,7 +16,7 @@ RUN opam install --deps-only FStar/fstar.opam
 ARG opamthreads=24
 
 # Build the package, 
-RUN eval $(opam env) && env Z3_LICENSE="$(opam config expand '%{prefix}%')/.opam-switch/sources/z3.4.8.5/LICENSE.txt" OTHERFLAGS='--admit_smt_queries true' make PACKAGE_DOCS=0 -C FStar -j $opamthreads package_unknown_platform
+RUN eval $(opam env) && env Z3_LICENSE="$(opam config expand '%{prefix}%')/.opam-switch/sources/z3.4.8.5/LICENSE.txt" OTHERFLAGS='--admit_smt_queries true' make -C FStar -j $opamthreads package_unknown_platform
 
 # Create a separate image to test the package
 FROM ocaml/opam:ubuntu-20.04-ocaml-$ocaml_version AS fstarbin

src/ocaml-output/Makefile

@@ -45,7 +45,9 @@ PREFIX=$(shell pwd)/fstar
 # The string "Madoko" if madoko is installed, something else otherwise.
 MADOKO = $(shell madoko --version 2>/dev/null | cut -c -6)
 DOS2UNIX=$(shell which dos2unix >/dev/null 2>&1 && echo dos2unix || echo true)
-PACKAGE_DOCS?=1
+# Set PACKAGE_DOCS to 1 if you want to include html docs into the binary package.
+# If so, then Madoko MUST be installed on the machine building the package.
+PACKAGE_DOCS?=0
 
 # Detect the GNU utilities
 INSTALL_EXEC := $(shell ginstall --version 2>/dev/null | cut -c -8 | head -n 1)