From 293a0eb98879646643d6f3919f80cd83066a8b1b Mon Sep 17 00:00:00 2001 From: bringert Date: Thu, 13 Apr 2006 13:32:58 +0000 Subject: Added -startcat flag to the pg command. --- src/GF/Shell/ShellCommands.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/GF/Shell/ShellCommands.hs') diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs index b93335416..2740101a7 100644 --- a/src/GF/Shell/ShellCommands.hs +++ b/src/GF/Shell/ShellCommands.hs @@ -212,7 +212,7 @@ optionsOfCommand co = case co of CSystemCommand _ -> none CGrep _ -> opts "v" - CPrintGrammar -> both "utf8" "printer lang" + CPrintGrammar -> both "utf8" "printer lang startcat" CPrintMultiGrammar -> both "utf8 utf8id" "printer" CPrintSourceGrammar -> both "utf8" "printer" -- cgit v1.2.3