From 9e510f5245ac8ee1a7524fbbf49447daaef846d3 Mon Sep 17 00:00:00 2001
From: peb <unknown>
Date: Sat, 16 Apr 2005 04:40:48 +0000
Subject: "Committed_by_peb"

---
 src/tools/MkHelpFile.hs | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

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

diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs
index 7a3f3965a..ab88e6c7f 100644
--- a/src/tools/MkHelpFile.hs
+++ b/src/tools/MkHelpFile.hs
@@ -1,13 +1,12 @@
 ----------------------------------------------------------------------
 -- |
--- Module      : MkHelpFile
 -- Maintainer  : AR
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/02/18 19:21:23 $ 
+-- > CVS $Date: 2005/04/16 05:40:51 $ 
 -- > CVS $Author: peb $
--- > CVS $Revision: 1.6 $
+-- > CVS $Revision: 1.7 $
 --
 -- Compile @HelpFile.hs@ from the text file @HelpFile@.
 -----------------------------------------------------------------------------
@@ -49,9 +48,9 @@ helpHeader = unlines [
   "-- Stability   : (stable)",
   "-- Portability : (portable)",
   "--",
-  "-- > CVS $Date: 2005/02/18 19:21:23 $", 
+  "-- > CVS $Date: 2005/04/16 05:40:51 $", 
   "-- > CVS $Author: peb $",
-  "-- > CVS $Revision: 1.6 $",
+  "-- > CVS $Revision: 1.7 $",
   "--",
   "-- Help on shell commands. Generated from HelpFile by 'make help'.",
   "-- PLEASE DON'T EDIT THIS FILE.",
-- 
cgit v1.2.3