GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-25 02:38:55 -06:00
Code Issues Packages Projects Releases Wiki Activity

more fixes in htmls

Browse Source
This commit is contained in:
aarne
2005-04-17 16:29:51 +00:00
parent fe6f09b306
commit 590941276d
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/tools/Htmls.hs
View File

@@ -4,9 +4,9 @@
-- Stability : (stable) -- Stability : (stable)
-- Portability : (portable) -- Portability : (portable)
-- --
-- > CVS $Date: 2005/04/16 20:24:43 $ -- > CVS $Date: 2005/04/17 17:29:51 $
-- > CVS $Author: aarne $ -- > CVS $Author: aarne $
-- > CVS $Revision: 1.7 $ -- > CVS $Revision: 1.8 $
-- --
-- chop an HTML file into separate files, each linked to the next and previous. -- 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 names of the files are n-file, with n = 01,02,...
@@ -74,12 +74,12 @@ link file mx n =
file' = fileName file (n + 1) file' = fileName file (n + 1)
file0 = fileName file 0 file0 = fileName file 0
file1 = fileName file 1 file1 = fileName file 1
file2 = fileName file mx file2 = fileName file (mx - 1)
fileName :: FilePath -> Int -> FilePath fileName :: FilePath -> Int -> FilePath
fileName file n = (if n < 10 then ('0':) else id) $ show n ++ "-" ++ file fileName file n = (if n < 10 then ('0':) else id) $ show n ++ "-" ++ file
pageNum mx num = "<p align=right>" ++ show num ++"/" ++ show mx ++ "</p>" pageNum mx num = "<p align=right>" ++ show num ++"/" ++ show (mx-1) ++ "</p>"
mkIndex file = unlines . mkInd 1 where mkIndex file = unlines . mkInd 1 where
mkInd n ss = case ss of mkInd n ss = case ss of