From 6a66fc5d71747c1009590e68887a9bbd6f44e598 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Fri, 10 Jun 2005 20:04:00 +0000
Subject: gfe as preprocessing to compiler

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

(limited to 'src/GF/Shell/ShellCommands.hs')

diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index 401c04dbc..687d57bee 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -5,9 +5,9 @@
 -- Stability   : (stable)
 -- Portability : (portable)
 --
--- > CVS $Date: 2005/05/17 13:38:46 $ 
--- > CVS $Author: peb $
--- > CVS $Revision: 1.36 $
+-- > CVS $Date: 2005/06/10 21:04:01 $ 
+-- > CVS $Author: aarne $
+-- > CVS $Revision: 1.37 $
 --
 -- The datatype of shell commands and the list of their options.
 -----------------------------------------------------------------------------
@@ -160,7 +160,7 @@ optionsOfCommand co = case co of
   CSetFlag -> both "utf8 table struct record all multi"
 	           "cat lang lexer parser number depth rawtrees unlexer optimize path conversion printer"
 
-  CImport _ -> both "old v s src retain nocf nocheckcirc cflexer noemit o"
+  CImport _ -> both "old v s src retain nocf nocheckcirc cflexer noemit o ex"
                     "abs cnc res path optimize conversion cat"
   CRemoveLanguage _ -> none
   CEmptyState -> none
-- 
cgit v1.2.3