From 3304438e5a1b1bda431e83efa2cd96d186ebaada Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sat, 14 May 2005 07:38:55 +0000
Subject: corrected option order; tutorial

---
 src/tools/Htmls.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/tools/Htmls.hs')

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
-- 
cgit v1.2.3