diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/Htmls.hs | 37 |
1 files changed, 30 insertions, 7 deletions
diff --git a/src/tools/Htmls.hs b/src/tools/Htmls.hs index dcca7dea6..9732b66c1 100644 --- a/src/tools/Htmls.hs +++ b/src/tools/Htmls.hs @@ -4,15 +4,16 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/16 05:40:50 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.5 $ +-- > CVS $Date: 2005/04/16 17:35:42 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.6 $ -- -- 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,... -- the chopping is performed at each separator, here defined as @\<!-- NEW --\>@ -- -- AR 7\/1\/2002 for the Vinnova meeting in Linköping. +-- Added table of contents generation in file 00, 16/4/2005 ----------------------------------------------------------------------------- module Main (main) where @@ -27,18 +28,20 @@ main = do htmls :: FilePath -> IO () htmls file = do s <- readFile file - let ss = allPages s + let ss = allPages file s lg = length ss putStrLn $ show lg ++ " slides" mapM_ (uncurry writeFile . mkFile file lg) ss -allPages :: String -> [(Int,String)] -allPages = zip [1..] . map unlines . chop . lines where +allPages :: FilePath -> String -> [(Int,String)] +allPages file s = addIndex $ zip [1..] $ map unlines $ chop lss where chop ls = case span isNoSep ls of (s,_:ss) -> s : chop ss _ -> [ls] isNoSep = (/= separator) - + addIndex = ((0,mkIndex file lss) :) + lss = lines s + mkFile :: FilePath -> Int -> (Int,String) -> (FilePath,String) mkFile base mx (number,content) = (fileName base number, @@ -63,11 +66,13 @@ link :: FilePath -> Int -> Int -> String link file mx n = (if n >= mx then "" else (" <a href=\"" ++ file' ++ "\">Next</a>")) ++ (if n == 1 then "" else (" <a href=\"" ++ file_ ++ "\">Previous</a>")) ++ + (" <a href=\"" ++ file0 ++ "\">Contents</a>") ++ (" <a href=\"" ++ file1 ++ "\">First</a>") ++ (" <a href=\"" ++ file2 ++ "\">Last</a>") where file_ = fileName file (n - 1) file' = fileName file (n + 1) + file0 = fileName file 0 file1 = fileName file 1 file2 = fileName file mx @@ -75,3 +80,21 @@ fileName :: FilePath -> Int -> FilePath 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 + mkInd n ss = case ss of + s : rest | (s==separator) -> mkInd (n+1) rest + s : rest -> case getHeading s of + Just (i,t) -> mkLine n i t : mkInd n rest + _ -> mkInd n rest + _ -> [] + getHeading s = case dropWhile isSpace s of + '<':h:i:_:t | isDigit i -> return (i,take (length t - 5) t) -- drop final </hi> + _ -> Nothing + 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' -> "**" + _ -> "" + link n t = "<a href=\"" ++ fileName file n ++ "\">" ++ t ++ "</a>" |