diff --git a/doc/ghc.mk b/doc/ghc.mk
index ca6395743c6acb3afc782266eb996b294056af3a..590d1c5f3e8c2def41ce5a51a9691f5a562e640c 100644
--- a/doc/ghc.mk
+++ b/doc/ghc.mk
@@ -10,11 +10,11 @@
 #
 # -----------------------------------------------------------------------------
 
-ifeq "$$(BUILD_SPHINX_HTML)" "YES"
+ifeq "$(BUILD_SPHINX_HTML)" "YES"
 INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock
-endif
 
 html : html_utils/haddock/doc
+endif
 
 html_utils/haddock/doc :
 	make -C utils/haddock/doc html SPHINX_BUILD=$(SPHINXBUILD)