From ab89b495bed2f3b5aafbac5b7b9b7d616be7bdf6 Mon Sep 17 00:00:00 2001 From: Simon Marlow Date: Mon, 16 Nov 2009 11:56:30 +0000 Subject: [PATCH] fix install_docs dependencies, and add a missing $(INSTALL_DIR) --- ghc.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ghc.mk b/ghc.mk index 26dc314..fbd6955 100644 --- a/ghc.mk +++ b/ghc.mk @@ -808,7 +808,7 @@ install_headers: $(INSTALL_HEADERS) $(INSTALL_HEADER) $(INSTALL_OPTS) $$i "$(DESTDIR)$(ghcheaderdir)"; \ done -install_docs: $(INSTALL_HEADERS) +install_docs: $(INSTALL_DOCS) $(INSTALL_LIBRARY_DOCS) $(INSTALL_DIR) "$(DESTDIR)$(docdir)" ifneq "$(INSTALL_DOCS)" "" for i in $(INSTALL_DOCS); do \ @@ -818,6 +818,7 @@ endif $(INSTALL_DIR) $(INSTALL_OPTS) "$(DESTDIR)$(docdir)/html" $(INSTALL_DOC) $(INSTALL_OPTS) docs/index.html "$(DESTDIR)$(docdir)/html" ifneq "$(INSTALL_LIBRARY_DOCS)" "" + $(INSTALL_DIR) $(INSTALL_OPTS) "$(DESTDIR)$(docdir)/html/libraries" for i in $(INSTALL_LIBRARY_DOCS); do \ $(INSTALL_DOC) $(INSTALL_OPTS) $$i "$(DESTDIR)$(docdir)/html/libraries/"; \ done -- 1.7.10.4