summaryrefslogtreecommitdiff
path: root/src/GF/Shell/ShellCommands.hs
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-02-23 09:58:59 +0000
committeraarne <aarne@cs.chalmers.se>2006-02-23 09:58:59 +0000
commitc5666fabddca9eaf9786a310bc14d77ffc0bc51e (patch)
treed7f5c3d380e1d867461e12d9390b82563758efa9 /src/GF/Shell/ShellCommands.hs
parent97485761cbde1e92f557285815fc88ebe60058ca (diff)
the -gfc option
Diffstat (limited to 'src/GF/Shell/ShellCommands.hs')
-rw-r--r--src/GF/Shell/ShellCommands.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Shell/ShellCommands.hs b/src/GF/Shell/ShellCommands.hs
index 7d10ef882..9918e5225 100644
--- a/src/GF/Shell/ShellCommands.hs
+++ b/src/GF/Shell/ShellCommands.hs
@@ -169,7 +169,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 ex prob"
+ CImport _ -> both "old v s src gfc retain nocf nocheckcirc cflexer noemit o ex prob"
"abs cnc res path optimize conversion cat probs noparse"
CRemoveLanguage _ -> none
CEmptyState -> none