diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-04-10 19:31:39 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-10 23:40:15 +0200 |
| commit | c6d6a18d85e5e2d9bb5904e6919e8a8d7e31c4c5 (patch) | |
| tree | b778b6beb171b7c6f177e3af5dbbac0f5e023ae6 | |
| parent | ccb14e9cae57a356d86a7ac1ac800fcf0f3ea6e1 (diff) | |
doc: Only install if BUILD_SPHINX_HTML==YES
Fixes GHC #11818.
| -rw-r--r-- | doc/ghc.mk | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -10,7 +10,9 @@ # # ----------------------------------------------------------------------------- +ifeq "$$(BUILD_SPHINX_HTML)" "YES" INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock +endif html : html_utils/haddock/doc |