diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/flavours/validate.mk | 4 |
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/ |