From 3b39607bbac8e6ab99198ab608f14e1f84c2f60e Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 24 Jun 2004 14:06:09 +0000 Subject: last-minute bug fixes --- src/GF/Shell/ShellCommands.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/GF/Shell/ShellCommands.hs') 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" -- cgit v1.2.3