diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-12-22 18:01:35 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-12-22 18:01:35 +0000 |
| commit | aa59c14b5a7e8f3c28200b3c0c321d65369e6075 (patch) | |
| tree | 2df5371360f633fdf427d03c8954b5ce19715583 /src/GF/Shell | |
| parent | 58d1fa84c5e4c1db3b40337886a42a4039ed5220 (diff) | |
Hebrew Letter; news on index
Diffstat (limited to 'src/GF/Shell')
| -rw-r--r-- | src/GF/Shell/ShellCommands.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index 27e027c50..47c27bb24 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -210,7 +210,7 @@ optionsOfCommand co = case co of CPrintMultiGrammar -> both "utf8 utf8id" "printer" CPrintSourceGrammar -> both "utf8" "printer" - CHelp _ -> opts "all defs filter length lexer unlexer printer transform depth number" + CHelp _ -> opts "all alts atoms coding defs filter length lexer unlexer printer probs transform depth number" CImpure ICEditSession -> both "f" "file" CImpure ICTranslateSession -> both "f langs" "cat" |