diff options
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/MkHelpFile.hs | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/tools/MkHelpFile.hs b/src/tools/MkHelpFile.hs index 9355a688e..3b88525a9 100644 --- a/src/tools/MkHelpFile.hs +++ b/src/tools/MkHelpFile.hs @@ -7,6 +7,13 @@ main = do mkHsFile ss = "module HelpFile where\n\n" ++ + "import Operations\n\n" ++ + "txtHelpFileSummary =\n" ++ + " unlines $ map (concat . take 1 . lines) $ paragraphs txtHelpFile\n\n" ++ + "txtHelpCommand c =\n" ++ + " case lookup c [(takeWhile (/=',') p,p) | p <- paragraphs txtHelpFile] of\n" ++ + " Just s -> s\n" ++ + " _ -> \"Command not found.\"\n\n" ++ "txtHelpFile =\n" ++ unlines (map mkOne ss) ++ " []" |