diff options
| author | bringert <unknown> | 2005-04-21 10:38:24 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-04-21 10:38:24 +0000 |
| commit | 5f999f0eefb3cc95a6b51e4aa2e8cff5bbd68d80 (patch) | |
| tree | 901288f8ffd741e0a6f400d458408c8c8fc802fd /src/tools | |
| parent | ed5b70164d7b282098debf506f37802eda808c11 (diff) | |
A bunch of Makefile fixes. Moved HelpFile and HelpFile.hs.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/MkHelpFile.hs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs index ab88e6c7f..89e8c3634 100644 --- a/src/tools/MkHelpFile.hs +++ b/src/tools/MkHelpFile.hs @@ -4,9 +4,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/16 05:40:51 $ --- > CVS $Author: peb $ --- > CVS $Revision: 1.7 $ +-- > CVS $Date: 2005/04/21 11:38:24 $ +-- > CVS $Author: bringert $ +-- > CVS $Revision: 1.8 $ -- -- Compile @HelpFile.hs@ from the text file @HelpFile@. ----------------------------------------------------------------------------- @@ -16,11 +16,11 @@ module Main (main) where main = do s <- readFile "HelpFile" let s' = mkHsFile (lines s) - writeFile "HelpFile.hs" s' + writeFile "GF/Shell/HelpFile.hs" s' mkHsFile ss = helpHeader ++ - "module HelpFile where\n\n" ++ + "module GF.Shell.HelpFile where\n\n" ++ "import Operations\n\n" ++ "txtHelpFileSummary =\n" ++ " unlines $ map (concat . take 1 . lines) $ paragraphs txtHelpFile\n\n" ++ @@ -43,14 +43,14 @@ mkOne s = " \"" ++ pref s ++ (escs s) ++ "\" ++" helpHeader = unlines [ "----------------------------------------------------------------------", "-- |", - "-- Module : HelpFile", + "-- Module : GF.Shell.HelpFile", "-- Maintainer : Aarne Ranta", "-- Stability : (stable)", "-- Portability : (portable)", "--", - "-- > CVS $Date: 2005/04/16 05:40:51 $", - "-- > CVS $Author: peb $", - "-- > CVS $Revision: 1.7 $", + "-- > CVS $Date: 2005/04/21 11:38:24 $", + "-- > CVS $Author: bringert $", + "-- > CVS $Revision: 1.8 $", "--", "-- Help on shell commands. Generated from HelpFile by 'make help'.", "-- PLEASE DON'T EDIT THIS FILE.", |