diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-03-03 13:52:03 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-07 14:06:16 -0500 |
commit | 5b35ca58d94d07751ef2f810686f588ce9c0878a (patch) | |
tree | a9445b8802aed1cd46548cae5d3d33176dccd5fe /hadrian/bindist | |
parent | 7bfae2ee0e9548f489c52c0e3f4688a9ae83b12b (diff) | |
download | haskell-5b35ca58d94d07751ef2f810686f588ce9c0878a.tar.gz |
Fix gen_contents_index logic for hadrian bindist
Diffstat (limited to 'hadrian/bindist')
-rw-r--r-- | hadrian/bindist/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/hadrian/bindist/Makefile b/hadrian/bindist/Makefile index 3ae599452f..fdeb06ace5 100644 --- a/hadrian/bindist/Makefile +++ b/hadrian/bindist/Makefile @@ -190,6 +190,9 @@ install_docs: cp -R $$i "$(docdir)/"; \ done + $(INSTALL_DATA) docs-utils/prologue.txt "$(docdir)/html/libraries/" + $(INSTALL_SCRIPT) docs-utils/gen_contents_index "$(docdir)/html/libraries/" + BINARY_NAMES=$(shell ls ./wrappers/) install_wrappers: install_bin_libdir @echo "Installing wrapper scripts" |