From 14780e4be5d7cc31797c1cb6a1a0dfb096162f0b Mon Sep 17 00:00:00 2001
From: simonmar <unknown>
Date: Tue, 11 Nov 2003 16:45:52 +0000
Subject: [PATCH] [project @ 2003-11-11 16:45:52 by simonmar] libraries.html
 is now libraries/index.html

---
 ghc/docs/index.html |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/docs/index.html b/ghc/docs/index.html
index 865ede8..27f944a 100644
--- a/ghc/docs/index.html
+++ b/ghc/docs/index.html
@@ -30,7 +30,7 @@
 
       <LI>
         <P>
-          <B><A HREF="libraries.html">Hierarchical Libraries</A></B>
+          <B><A HREF="libraries/index.html">Hierarchical Libraries</A></B>
         </P>
         <P>
           Documentation for the hierarchical libraries that come with GHC.
-- 
1.7.10.4