diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/MkHelpFile.hs | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs index bd3c10792..6f7fe0184 100644 --- a/src/tools/MkHelpFile.hs +++ b/src/tools/MkHelpFile.hs @@ -9,7 +9,7 @@ -- > CVS $Author $ -- > CVS $Revision $ -- --- (Description of the module) +-- Compile HelpFile.hs from HelpFile. ----------------------------------------------------------------------------- module Main where @@ -20,6 +20,7 @@ main = do writeFile "HelpFile.hs" s' mkHsFile ss = + helpHeader ++ "module HelpFile where\n\n" ++ "import Operations\n\n" ++ "txtHelpFileSummary =\n" ++ @@ -39,3 +40,21 @@ mkOne s = " \"" ++ pref s ++ (escs s) ++ "\" ++" escs [] = [] escs (c:cs) | elem c "\"\\" = '\\':c:escs cs escs (c:cs) = c:escs cs + +helpHeader = unlines [ + "----------------------------------------------------------------------", + "-- |", + "-- Module : HelpFile", + "-- Maintainer : Aarne Ranta", + "-- Stability : (stable)", + "-- Portability : (portable)", + "--", + "-- > CVS $Date $", + "-- > CVS $Author $", + "-- > CVS $Revision $", + "--", + "-- Help on shell commands. Generated from HelpFile by 'make help'.", + "-----------------------------------------------------------------------------", + "", + "" + ]
\ No newline at end of file |