summaryrefslogtreecommitdiff
path: root/src/GF/Shell/ShellCommands.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2005-12-22 18:01:35 +0000
committeraarne <aarne@cs.chalmers.se>2005-12-22 18:01:35 +0000
commitaa59c14b5a7e8f3c28200b3c0c321d65369e6075 (patch)
tree2df5371360f633fdf427d03c8954b5ce19715583 /src/GF/Shell/ShellCommands.hs
parent58d1fa84c5e4c1db3b40337886a42a4039ed5220 (diff)
Hebrew Letter; news on index
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
-rw-r--r--src/GF/Shell/ShellCommands.hs2
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"