aboutsummaryrefslogtreecommitdiff
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:21:43 +0200
commitfea4b0a3589ad67d72594b16ceb0e6922e7f2bb8 (patch)
tree7678b6bbc9b62e12313170604c52ec125d03b8fc
parent3b980e7fc47bb898b00c7d37d442e0fd5716cb7c (diff)
doc: At long last fix ghc.mk
The variable reference was incorrectly escaped, meaning that Sphinx documentation was never installed. (cherry picked from commit 609018dd09c4ffe27f9248b2d8b50f6196cd42b9)
-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)