diff options
| author | aarne <unknown> | 2004-06-24 19:08:30 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-24 19:08:30 +0000 |
| commit | ffd6c23155026b758eaf40abe7e43331b958f979 (patch) | |
| tree | d4c779bf829ecb2aeddddb79acbce4e8dc26b6db /src/HelpFile.hs | |
| parent | 22e3bdce0251ce840a440a2c04c8c229d4c74947 (diff) | |
some fixes
Diffstat (limited to 'src/HelpFile.hs')
| -rw-r--r-- | src/HelpFile.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/HelpFile.hs b/src/HelpFile.hs index 4b18a67b4..500427121 100644 --- a/src/HelpFile.hs +++ b/src/HelpFile.hs @@ -91,6 +91,8 @@ txtHelpFile = "\npm, print_multigrammar: pm" ++ "\n Prints the current multilingual grammar in .gfcm form." ++ "\n (Automatically executes the strip command (s) before doing this.)" ++ + "\n options:" ++ + "\n -utf8 apply UTF8-encoding to the grammar" ++ "\n examples:" ++ "\n pm | wf Letter.gfcm -- print the grammar into the file Letter.gfcm" ++ "\n" ++ |