diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2016-05-12 17:43:50 +0200 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-12 17:43:50 +0200 |
| commit | 261342e47efc2756c6befd1e3d83c42d5dd082c6 (patch) | |
| tree | 1f9a89a7d1c0be1b4a38091e9b207567bce00bab /doc | |
| parent | d7ef90898c6d8ddeae23caf0f9fb68c25537dcd0 (diff) | |
| parent | af1a8689da1990da9a152ae8a0e51976f2a27ff6 (diff) | |
Merge remote-tracking branch 'origin/master' into ghc-head
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ghc.mk | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -11,9 +11,11 @@ # ----------------------------------------------------------------------------- ifeq "$(BUILD_SPHINX_HTML)" "YES" -INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock - html : html_utils/haddock/doc + +$(eval $(call clean-target,utils/haddock/doc,sphinx,utils/haddock/doc/haddock utils/haddock/doc/.build-html utils/haddock/doc/.build-pdf)) +$(eval $(call all-target,utils/haddock/doc,html_utils/haddock/doc)) +INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock endif html_utils/haddock/doc : |