aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-05-01 13:15:34 +0200
committerBen Gamari <ben@smart-cactus.org>2016-05-01 13:19:27 +0200
commit609018dd09c4ffe27f9248b2d8b50f6196cd42b9 (patch)
tree9759ccf397c50c933aaa0511860d83e5178a993e /doc
parent56dbfe17d272670e5f2d082401c025755796950d (diff)
doc: At long last fix ghc.mk
The variable reference was incorrectly escaped, meaning that Sphinx documentation was never installed.
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)