X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=mk%2Fvalidate-settings.mk;h=322aaef6582191be967cf6271708ff1903228379;hb=2440b61a15e56f0cdee349c2574cdfc40adc6053;hp=b91a88e0866231862ca170225f23698f883d4f23;hpb=c80ca5708526c9aaab9344c1377404cc1cae901f;p=ghc-hetmet.git

diff --git a/mk/validate-settings.mk b/mk/validate-settings.mk
index b91a88e..322aaef 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