From 7194efcea85e6a1d16b35fd2ad268dfc675a1b24 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Tue, 8 Mar 2005 14:31:22 +0000
Subject: Finished UTF8 identifier conversion. Will probably redo it at string
 level, i.e. after pretty-printing instead

---
 src/GF/Shell/ShellCommands.hs | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'src/GF/Shell')

diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index 89aae2d06..d60849e90 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/02/25 15:35:48 $ 
--- > CVS $Author: aarne $
--- > CVS $Revision: 1.24 $
+-- > CVS $Date: 2005/03/08 15:31:22 $ 
+-- > CVS $Author: bringert $
+-- > CVS $Revision: 1.25 $
 --
 -- The datatype of shell commands and the list of their options.
 -----------------------------------------------------------------------------
@@ -183,7 +183,7 @@ optionsOfCommand co = case co of
   CSystemCommand _ -> none
 
   CPrintGrammar -> both "utf8" "printer lang"
-  CPrintMultiGrammar -> both "utf8" "printer"
+  CPrintMultiGrammar -> both "utf8 utf8id" "printer"
   CPrintSourceGrammar -> both "utf8" "printer"
 
   CHelp _ -> opts "all filter length lexer unlexer printer transform depth number"
-- 
cgit v1.2.3