aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/ghc.mk4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ghc.mk b/doc/ghc.mk
index ca639574..590d1c5f 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)