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.