From 32f2ee11b7288a53b89ea81ebdf4f8a74b707fed Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Fri, 24 Aug 2007 19:56:09 +0000
Subject: Check haddocking works when validating

---
 validate | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/validate b/validate
index 1852358da6..8f70811e41 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.
-- 
cgit v1.2.1