aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Lynagh <igloo@earth.li>2010-09-21 20:31:35 +0000
committerIan Lynagh <igloo@earth.li>2010-09-21 20:31:35 +0000
commit073f2ca1ed3fbfe1dd78cf95faf5dfa2a3f4e43e (patch)
tree2e0f08c672bc7c8b9af3ae25e83085869104f3c9
parentd9a5aacd8b72c4537d550262d5d89d596a9bea14 (diff)
Don't build haddock is HADDOCK_DOCS is NO
-rw-r--r--ghc.mk4
1 files changed, 4 insertions, 0 deletions
diff --git a/ghc.mk b/ghc.mk
index d1dbd2dd..c5a28c8b 100644
--- a/ghc.mk
+++ b/ghc.mk
@@ -22,6 +22,10 @@ $(INPLACE_LIB)/latex:
endif
+ifeq "$(HADDOCK_DOCS)" "NO"
+utils/haddock_dist_NOT_NEEDED = YES
+endif
+
$(eval $(call build-prog,utils/haddock,dist,2))
utils/haddock_dist_MODULES += Paths_haddock