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 | |
| parent | 20eae7786f420ce02e8043c43c82e31e49c5af72 (diff) | |
corrected option order; tutorial
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Infra/Modules.hs | 8 | ||||
| -rw-r--r-- | src/tools/Htmls.hs | 5 |
2 files changed, 7 insertions, 6 deletions
diff --git a/src/GF/Infra/Modules.hs b/src/GF/Infra/Modules.hs index e3c0388dd..86a11b446 100644 --- a/src/GF/Infra/Modules.hs +++ b/src/GF/Infra/Modules.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/21 16:22:36 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.21 $ +-- > CVS $Date: 2005/05/14 08:38:55 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.22 $ -- -- Datastructures and functions for modules, common to GF and GFC. -- @@ -116,7 +116,7 @@ flagsModule (_,mi) = case mi of _ -> [] allFlags :: MGrammar i f a -> [f] -allFlags gr = concat $ map flags $ reverse [m | (_, ModMod m) <- modules gr] +allFlags gr = concat $ map flags $ [m | (_, ModMod m) <- modules gr] mapModules :: (Module i f a -> Module i f a) -> MGrammar i f a -> MGrammar i f a 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 |