From 2d9c539f94e0ac843fc82313390382bbf9f11d9b Mon Sep 17 00:00:00 2001 From: Laurent Perrinet Date: Tue, 19 Sep 2023 12:47:00 +0200 Subject: [PATCH] Update build.sh --- build/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build/build.sh b/build/build.sh index 8dec42a..fb56bfa 100644 --- a/build/build.sh +++ b/build/build.sh @@ -18,7 +18,7 @@ DOCKER_RUNNING="$(docker info &> /dev/null && echo "true" || (true && echo "fals # Set option defaults CI="${CI:-false}" BUILD_PDF="${BUILD_PDF:-true}" -BUILD_DOCX="${BUILD_DOCX:-false}" +BUILD_DOCX="${BUILD_DOCX:-true}" BUILD_LATEX="${BUILD_LATEX:-false}" SPELLCHECK="${SPELLCHECK:-false}" MANUBOT_USE_DOCKER="${MANUBOT_USE_DOCKER:-$DOCKER_RUNNING}"