diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-04-06 23:40:44 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-04-07 15:27:08 +0200 |
commit | 6b6bebaf2349c51343bec2b8fa0e80b7e42593a6 (patch) | |
tree | a95e97eede044ff3b3487e2a060f8effe966b2a7 /rules | |
parent | 06b7ce21571cc6696ded6126098f0f596f4ba3ca (diff) | |
download | haskell-6b6bebaf2349c51343bec2b8fa0e80b7e42593a6.tar.gz |
Fix installation of static sphinx assets
Previously the `_static` and `_sources` directories were installed in
the wrong parents. See #11803
Diffstat (limited to 'rules')
-rw-r--r-- | rules/sphinx.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rules/sphinx.mk b/rules/sphinx.mk index 7337242762..52fbe28c57 100644 --- a/rules/sphinx.mk +++ b/rules/sphinx.mk @@ -31,7 +31,7 @@ $(call all-target,$1,) ifeq "$$(phase)" "final" ifeq "$$(BUILD_SPHINX_HTML)" "YES" $(call all-target,$1,html_$1) -INSTALL_HTML_DOC_DIRS += $1/build-html/$2 $1/build-html/$2/_static $1/build-html/$2/_sources +INSTALL_HTML_DOC_DIRS += $1/build-html/$2 endif endif |