From ea63a59882c6d1ecd5e4147d3500d664c9431dd8 Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sun, 10 Apr 2016 19:31:39 +0200
Subject: doc: Only install if BUILD_SPHINX_HTML==YES

Fixes GHC #11818.

(cherry picked from commit c6d6a18d85e5e2d9bb5904e6919e8a8d7e31c4c5)
---
 doc/ghc.mk | 2 ++
 1 file changed, 2 insertions(+)

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
 
-- 
cgit v1.2.3