From 45f3b7d5e74dde250a3e0eb92469efc22479cd30 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Sat, 5 Feb 2005 09:52:04 +0000
Subject: optimization flags and improver eng

---
 src/tools/MkHelpFile.hs | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

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

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