summaryrefslogtreecommitdiff
path: root/mk
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2019-07-02 12:21:36 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-07-03 09:34:16 -0400
commit973c61b526d2172d73a6e59977b9f40b5d76650f (patch)
tree461dedcd6d72dc070650db1c943e7e7a10079573 /mk
parentacd795583625401c5554f8e04ec7efca18814011 (diff)
downloadhaskell-973c61b526d2172d73a6e59977b9f40b5d76650f.tar.gz
gitlab-ci: Fix doc-tarball job
Previously we used the deb9-debug job which used the `validate` build flavour which disabled `BUILD_SPHINX_PDF`. Fix this. Fixes #16890.
Diffstat (limited to 'mk')
-rw-r--r--mk/flavours/validate.mk4
1 files changed, 2 insertions, 2 deletions
diff --git a/mk/flavours/validate.mk b/mk/flavours/validate.mk
index 6395d2d62f..eddd22fb82 100644
--- a/mk/flavours/validate.mk
+++ b/mk/flavours/validate.mk
@@ -6,8 +6,8 @@ GhcLibHcOpts = -O -dcore-lint -dno-debug-output
BUILD_PROF_LIBS = NO
SplitSections = NO
HADDOCK_DOCS = YES
-BUILD_SPHINX_HTML = YES
-BUILD_SPHINX_PDF = NO
+BUILD_SPHINX_HTML ?= YES
+BUILD_SPHINX_PDF ?= NO
ifeq "$(ValidateHpc)" "YES"
GhcStage2HcOpts += -fhpc -hpcdir $(TOP)/testsuite/hpc_output/