diff options
| -rw-r--r-- | mk/validate-settings.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk index b91a88e086..322aaef658 100644 --- a/mk/validate-settings.mk +++ b/mk/validate-settings.mk @@ -22,6 +22,13 @@ STRIP = : CHECK_PACKAGES = YES +# dblatex with miktex under msys/mingw can't build the PS and PDF docs, +# and just building the HTML docs is sufficient to check that the +# markup is correct, so we turn off PS and PDF doc building when +# validating. +BUILD_DOCBOOK_PS = NO +BUILD_DOCBOOK_PDF = NO + ifeq "$(ValidateHpc)" "YES" GhcStage2HcOpts += -fhpc -hpcdir $(TOP)/testsuite/hpc_output/ endif |