diff options
| author | aarne <unknown> | 2005-05-14 07:38:55 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-14 07:38:55 +0000 |
| commit | 3304438e5a1b1bda431e83efa2cd96d186ebaada (patch) | |
| tree | 2c702683bf16341323a03460c941ee3ff77d174d /src/tools | |
| parent | 20eae7786f420ce02e8043c43c82e31e49c5af72 (diff) | |
corrected option order; tutorial
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/Htmls.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/tools/Htmls.hs b/src/tools/Htmls.hs index f9cc8b490..08c18c907 100644 --- a/src/tools/Htmls.hs +++ b/src/tools/Htmls.hs @@ -4,9 +4,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/20 20:09:19 $ +-- > CVS $Date: 2005/05/14 08:38:55 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.9 $ +-- > CVS $Revision: 1.10 $ -- -- 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,... @@ -67,6 +67,7 @@ link file mx n = (if n >= mx-1 then "" else (" <a href=\"" ++ file' ++ "\">Next</a>")) ++ (if n == 1 then "" else (" <a href=\"" ++ file_ ++ "\">Previous</a>")) ++ (" <a href=\"" ++ file0 ++ "\">Contents</a>") ++ + (" <a href=\"" ++ file ++ "\">Fulltext</a>") ++ (" <a href=\"" ++ file1 ++ "\">First</a>") ++ (" <a href=\"" ++ file2 ++ "\">Last</a>") where |