aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-04-10 19:31:39 +0200
committerBen Gamari <ben@smart-cactus.org>2016-04-10 23:40:15 +0200
commitc6d6a18d85e5e2d9bb5904e6919e8a8d7e31c4c5 (patch)
treeb778b6beb171b7c6f177e3af5dbbac0f5e023ae6 /doc
parentccb14e9cae57a356d86a7ac1ac800fcf0f3ea6e1 (diff)
doc: Only install if BUILD_SPHINX_HTML==YES
Fixes GHC #11818.
Diffstat (limited to 'doc')
-rw-r--r--doc/ghc.mk2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ghc.mk b/doc/ghc.mk
index 52a2f2a5..ca639574 100644
--- a/doc/ghc.mk
+++ b/doc/ghc.mk
@@ -10,7 +10,9 @@
#
# -----------------------------------------------------------------------------
+ifeq "$$(BUILD_SPHINX_HTML)" "YES"
INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock
+endif
html : html_utils/haddock/doc