summaryrefslogtreecommitdiff
path: root/src/GF/Shell
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2006-02-25 22:58:55 +0000
committeraarne <aarne@cs.chalmers.se>2006-02-25 22:58:55 +0000
commita911adada07fa6b3c4e5d69b09cd3fc82bb01338 (patch)
tree4111ce77458158c35dae1bee46c5b471be8453a3 /src/GF/Shell
parent281f57112a38d75fc29c4391712535f3cfad9e22 (diff)
documenting the library
Diffstat (limited to 'src/GF/Shell')
-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 59500e7fa..56c172037 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 gfc retain nocf nocheckcirc cflexer noemit o ex prob"
+ CImport _ -> both "old v s src gfc retain nocf nocheckcirc cflexer noemit o make ex prob"
"abs cnc res path optimize conversion cat preproc probs noparse"
CRemoveLanguage _ -> none
CEmptyState -> none