diff options
author | Ian Lynagh <igloo@earth.li> | 2009-11-08 21:07:01 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2009-11-08 21:07:01 +0000 |
commit | 7f4b8d9bfbfb0556d51ba1fb25f18e424bd5bf9c (patch) | |
tree | 89aaa19b0a4f652fd9629e0ca8a1c51b7f7afe9f /ghc.mk | |
parent | ebaa8c99e67440522c619b2ee8c250191b5d1397 (diff) | |
download | haskell-7f4b8d9bfbfb0556d51ba1fb25f18e424bd5bf9c.tar.gz |
Put docs into versioned directory names; fixes trac #3532
You can now have multiple versions of a package installed, and
gen_contents_index will do the right thing.
Diffstat (limited to 'ghc.mk')
-rw-r--r-- | ghc.mk | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -817,6 +817,8 @@ ifneq "$(INSTALL_LIBRARY_DOCS)" "" for i in $(INSTALL_LIBRARY_DOCS); do \ $(INSTALL_DOC) $(INSTALL_OPTS) $$i "$(DESTDIR)$(docdir)/html/libraries/"; \ done + $(INSTALL_DATA) $(INSTALL_OPTS) libraries/prologue.txt "$(DESTDIR)$(docdir)/html/libraries/" + $(INSTALL_SCRIPT) $(INSTALL_OPTS) libraries/gen_contents_index "$(DESTDIR)$(docdir)/html/libraries/" endif ifneq "$(INSTALL_HTML_DOC_DIRS)" "" for i in $(INSTALL_HTML_DOC_DIRS); do \ |