From 973c61b526d2172d73a6e59977b9f40b5d76650f Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Tue, 2 Jul 2019 12:21:36 -0400
Subject: 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.
---
 mk/flavours/validate.mk | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'mk')

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/
-- 
cgit v1.2.1