From 846b19618eb9af2dbdc38feb5856e5c9dec3c65e Mon Sep 17 00:00:00 2001
From: ross <unknown>
Date: Thu, 6 Mar 2003 15:16:31 +0000
Subject: [PATCH] [project @ 2003-03-06 15:16:31 by ross] also install
 libraries.html

---
 ghc/docs/Makefile |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/ghc/docs/Makefile b/ghc/docs/Makefile
index f7bf5b3..467d39d 100644
--- a/ghc/docs/Makefile
+++ b/ghc/docs/Makefile
@@ -3,8 +3,10 @@ include $(TOP)/mk/boilerplate.mk
 
 SUBDIRS = users_guide
 
-install-docs :: index.html
+PAGES = index.html libraries.html
+
+install-docs :: $(PAGES)
 	$(INSTALL_DIR) $(datadir)/html
-	$(INSTALL_DATA) $(INSTALL_OPTS) index.html $(datadir)/html
+	$(INSTALL_DATA) $(INSTALL_OPTS) $(PAGES) $(datadir)/html
 
 include $(TOP)/mk/target.mk
-- 
1.7.10.4