[[project @ 2003-11-11 16:45:52 by simonmar]
simonmar**20031111164552
 libraries.html is now libraries/index.html
] {
hunk ./ghc/docs/index.html 33
-          <B><A HREF="libraries.html">Hierarchical Libraries</A></B>
+          <B><A HREF="libraries/index.html">Hierarchical Libraries</A></B>
}