diff options
author | Ben Gamari <ben@well-typed.com> | 2015-11-16 16:56:12 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2015-11-16 21:59:46 +0100 |
commit | 7485d0ce03247ca573073738aba34a66e01180a8 (patch) | |
tree | 41cd5c879aa8dafa3b74f374bda65c4ca130e105 /ghc.mk | |
parent | 69822f0c5b67161b4d7558081bc94f6f3a7c5dbb (diff) | |
download | haskell-7485d0ce03247ca573073738aba34a66e01180a8.tar.gz |
ghc.mk: Make install_docs rule sh-compatible
Diffstat (limited to 'ghc.mk')
-rw-r--r-- | ghc.mk | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -929,14 +929,14 @@ ifneq "$(INSTALL_LIBRARY_DOCS)" "" $(INSTALL_SCRIPT) $(INSTALL_OPTS) libraries/gen_contents_index "$(DESTDIR)$(docdir)/html/libraries/" endif ifneq "$(INSTALL_HTML_DOC_DIRS)" "" + # We need to filter out the directories so install doesn't choke on them for i in $(INSTALL_HTML_DOC_DIRS); do \ $(INSTALL_DIR) "$(DESTDIR)$(docdir)/html/`basename $$i`"; \ - for f in $$i/*; do \ -# We filter out the directories so install doesn't choke on them \ - if test -f $$f; then \ - $(INSTALL_DOC) $(INSTALL_OPTS) "$$f" "$(DESTDIR)$(docdir)/html/`basename $$i`"; \ - fi \ - done \ + for f in $$i/*; do \ + if test -f $$f; then \ + $(INSTALL_DOC) $(INSTALL_OPTS) "$$f" "$(DESTDIR)$(docdir)/html/`basename $$i`"; \ + fi \ + done \ done endif |