diff options
| author | aarne <unknown> | 2004-06-24 14:06:09 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-24 14:06:09 +0000 |
| commit | 3b39607bbac8e6ab99198ab608f14e1f84c2f60e (patch) | |
| tree | 35b823c38ef0ed7439f1a057d939fbdfa96bc719 /src/GF/Shell/ShellCommands.hs | |
| parent | d3db78ad31fe8b27c7ebb4e05b92d4c3986cb119 (diff) | |
last-minute bug fixes
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
| -rw-r--r-- | src/GF/Shell/ShellCommands.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index 451776108..09de1cd24 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -136,7 +136,7 @@ optionsOfCommand co = case co of CStripState -> none CTransformGrammar _ -> flags "printer" CConvertLatex _ -> none - CLinearize _ -> both "table struct record all" "lang number unlexer" + CLinearize _ -> both "utf8 table struct record all" "lang number unlexer" CParse -> both "new n ign raw v" "cat lang lexer parser number rawtrees" CTranslate _ _ -> opts "cat lexer parser" CGenerateRandom -> flags "cat lang number depth" @@ -161,7 +161,8 @@ optionsOfCommand co = case co of CShowTerm -> flags "printer" CSystemCommand _ -> none - CPrintGrammar -> flags "printer" + CPrintGrammar -> both "utf8" "printer" + CPrintMultiGrammar -> opts "utf8" CHelp _ -> opts "all" |
