From e21633c5df0bd2cbf5a57c406b9899c5019db8f8 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sat, 16 Apr 2005 19:24:42 +0000
Subject: [PATCH] minor fixes in htmls

---
 doc/tutorial/gf-tutorial2.html |  2 +-
 src/tools/Htmls.hs             | 10 +++++-----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/doc/tutorial/gf-tutorial2.html b/doc/tutorial/gf-tutorial2.html
index 2c1a036c4..055aeb277 100644
--- a/doc/tutorial/gf-tutorial2.html
+++ b/doc/tutorial/gf-tutorial2.html
@@ -13,7 +13,7 @@
 
 </p><p>
 
-<a href="http://www.cs.chalmers.se/~aarne</a>">Aarne Ranta</a>
+<a href="http://www.cs.chalmers.se/~aarne">Aarne Ranta</a>
 
 </p>
 <p>
diff --git a/src/tools/Htmls.hs b/src/tools/Htmls.hs
index 9732b66c1..43f5c4f85 100644
--- a/src/tools/Htmls.hs
+++ b/src/tools/Htmls.hs
@@ -4,9 +4,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/04/16 17:35:42 $ 
+-- > CVS $Date: 2005/04/16 20:24:43 $ 
 -- > CVS $Author: aarne $
--- > CVS $Revision: 1.6 $
+-- > CVS $Revision: 1.7 $
 --
 -- chop an HTML file into separate files, each linked to the next and previous.
 -- the names of the files are n-file, with n = 01,02,...
@@ -81,7 +81,7 @@ fileName file n = (if n < 10 then ('0':) else id) $ show n ++ "-" ++ file
 
 pageNum mx num = "<p align=right>" ++ show num ++"/" ++ show mx ++ "</p>"
 
-mkIndex file = unlines . mkInd 0 where
+mkIndex file = unlines . mkInd 1 where
   mkInd n ss = case ss of
     s : rest | (s==separator) -> mkInd (n+1) rest
     s : rest -> case getHeading s of
@@ -94,7 +94,7 @@ mkIndex file = unlines . mkInd 0 where
   mkLine _ '1' t = t ++ " : Table of Contents<p>"       -- heading of whole document
   mkLine n i t = stars i ++ link n t ++ "<br>"
   stars i = case i of
-    '3' -> "*"
-    '4' -> "**"
+    '3' -> "<li> "
+    '4' -> "<li>* "
     _   -> ""
   link n t = "<a href=\"" ++ fileName file n ++ "\">" ++ t ++ "</a>"