diff options
| author | aarne <unknown> | 2004-08-24 11:49:46 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-08-24 11:49:46 +0000 |
| commit | c86192273657fe17d4dfe246f0d850379b9e5866 (patch) | |
| tree | 0c388671f158d8be47582766939b9bdb59a92f15 /src/GF/Shell | |
| parent | b57e3fff8c445bcc926c1018ac50a67e6417bf15 (diff) | |
some var parser bug fixes
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 999a452c9..bf0d114e1 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -164,7 +164,7 @@ optionsOfCommand co = case co of CPrintGrammar -> both "utf8" "printer lang" CPrintMultiGrammar -> both "utf8" "printer" - CHelp _ -> opts "all" + CHelp _ -> opts "all filter length lexer unlexer printer transform depth number" CImpure ICEditSession -> opts "f" CImpure ICTranslateSession -> both "f langs" "cat" |