5 files changed, 70 insertions, 0 deletions
diff --git a/src/tools/AlphaConvGF.hs b/src/tools/AlphaConvGF.hs
index 707ad8721..8cfc58ee8 100644
--- a/src/tools/AlphaConvGF.hs
+++ b/src/tools/AlphaConvGF.hs
@@ -1,3 +1,17 @@
+----------------------------------------------------------------------
+-- |
+-- Module      : (Module)
+-- Maintainer  : (Maintainer)
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date $ 
+-- > CVS $Author $
+-- > CVS $Revision $
+--
+-- (Description of the module)
+-----------------------------------------------------------------------------
+
 module Main where
 
 import LexGF
diff --git a/src/tools/GFDoc.hs b/src/tools/GFDoc.hs
index 883349748..402f82e8e 100644
--- a/src/tools/GFDoc.hs
+++ b/src/tools/GFDoc.hs
@@ -1,3 +1,17 @@
+----------------------------------------------------------------------
+-- |
+-- Module      : (Module)
+-- Maintainer  : (Maintainer)
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date $ 
+-- > CVS $Author $
+-- > CVS $Revision $
+--
+-- (Description of the module)
+-----------------------------------------------------------------------------
+
 module Main where
 
 import List
diff --git a/src/tools/Htmls.hs b/src/tools/Htmls.hs
index 7c4896c54..9156e305f 100644
--- a/src/tools/Htmls.hs
+++ b/src/tools/Htmls.hs
@@ -1,3 +1,17 @@
+----------------------------------------------------------------------
+-- |
+-- Module      : (Module)
+-- Maintainer  : (Maintainer)
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date $ 
+-- > CVS $Author $
+-- > CVS $Revision $
+--
+-- (Description of the module)
+-----------------------------------------------------------------------------
+
 module Main where
 
 import System
diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs
index 3b88525a9..bd3c10792 100644
--- a/src/tools/MkHelpFile.hs
+++ b/src/tools/MkHelpFile.hs
@@ -1,3 +1,17 @@
+----------------------------------------------------------------------
+-- |
+-- Module      : (Module)
+-- Maintainer  : (Maintainer)
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date $ 
+-- > CVS $Author $
+-- > CVS $Revision $
+--
+-- (Description of the module)
+-----------------------------------------------------------------------------
+
 module Main where
 
 main = do
diff --git a/src/tools/WriteF.hs b/src/tools/WriteF.hs
index fd491b4e5..3e7303c1c 100644
--- a/src/tools/WriteF.hs
+++ b/src/tools/WriteF.hs
@@ -1,3 +1,17 @@
+----------------------------------------------------------------------
+-- |
+-- Module      : (Module)
+-- Maintainer  : (Maintainer)
+-- Stability   : (stable)
+-- Portability : (portable)
+--
+-- > CVS $Date $ 
+-- > CVS $Author $
+-- > CVS $Revision $
+--
+-- (Description of the module)
+-----------------------------------------------------------------------------
+
 module Main where
 import Fudgets
 import System