X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=validate;h=8f70811e411b93029afdd168af23599eb240e2f8;hb=b09ab92b65983635c68c8944631b1d53e9b71e42;hp=1852358da6a1be84262b1eb2156a64f1b52bba7b;hpb=c5805c8232bd3ece535e78c86c72bddec05bb975;p=ghc-hetmet.git

diff --git a/validate b/validate
index 1852358..8f70811 100644
--- a/validate
+++ b/validate
@@ -11,8 +11,9 @@ if [ -f mk/build.mk ]; then
 fi
 
 # The default is a "quick" build
-echo BuildFlavour=quick >mk/build.mk
-cat mk/build.mk.sample >>mk/build.mk
+echo BuildFlavour=quick >  mk/build.mk
+echo HADDOCK_DOCS=YES   >> mk/build.mk
+cat mk/build.mk.sample  >> mk/build.mk
 
 # You can override the default validate settings using mk/validate.mk
 # e.g. you could add GhcLibWays=p to test profiling.