diff options
| author | aarne <unknown> | 2005-04-16 19:24:42 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-04-16 19:24:42 +0000 |
| commit | e21633c5df0bd2cbf5a57c406b9899c5019db8f8 (patch) | |
| tree | 9dc7ba23435b078abda6060429cec4dba9a5c2c5 | |
| parent | adecc423dbf1b7d05fc61fbd2d3e09709c3b516a (diff) | |
minor fixes in htmls
| -rw-r--r-- | doc/tutorial/gf-tutorial2.html | 2 | ||||
| -rw-r--r-- | 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>" |