[project @ 2002-12-04 11:10:17 by simonmar]

Add an extra <P>..</P> around the list of packages under "hierarchical
libraries", to fix ugly spacing in IE.  I have no idea if this is
valid HTML or not.

diff --git a/ghc/docs/index.html.in b/ghc/docs/index.html.in
index 4a5dcf6..a859910 100644 (file)
--- a/ghc/docs/index.html.in
+++ b/ghc/docs/index.html.in
@@ -43,6 +43,7 @@
           so you don't need to use the <TT>-package</TT> flag to get these.
         </P>
 
+       <P>
         <UL>
           <LI>
             <A HREF="base/index.html"><TT>base</TT></a>:
@@ -76,6 +77,7 @@
           </LI>
 @ObjectIOHTMLEnd@
         </UL>
+       </P>
       </LI>
 
       <LI>