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