From 6f2c43b99042da466b309c914377bd4e33b65cb8 Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sat, 8 Aug 2009 11:20:34 +0000 Subject: [PATCH] Install the main doc index page, and also put it in bindists --- ghc.mk | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ghc.mk b/ghc.mk index a60380a..a65e234 100644 --- a/ghc.mk +++ b/ghc.mk @@ -739,6 +739,7 @@ install_docs: $(INSTALL_HEADERS) $(INSTALL_DOC) $(INSTALL_OPTS) $$i $(DESTDIR)$(docdir); \ done $(INSTALL_DIR) $(INSTALL_OPTS) $(DESTDIR)$(docdir)/html; \ + $(INSTALL_DOC) $(INSTALL_OPTS) docs/index.html $(DESTDIR)$(docdir)/html; \ for i in $(INSTALL_LIBRARY_DOCS); do \ $(INSTALL_DOC) $(INSTALL_OPTS) $$i $(DESTDIR)$(docdir)/libraries/; \ done @@ -800,6 +801,7 @@ $(eval $(call bindist,.,\ $(INSTALL_DOCS) \ $(INSTALL_LIBRARY_DOCS) \ $(addsuffix /*,$(INSTALL_HTML_DOC_DIRS)) \ + docs/index.html \ $(wildcard libraries/*/dist-install/doc/) \ $(filter-out extra-gcc-opts,$(INSTALL_LIBS)) \ $(filter-out %/project.mk,$(filter-out mk/config.mk,$(MAKEFILE_LIST))) \ -- 1.7.10.4