summaryrefslogtreecommitdiff
path: root/src/GF/Shell/HelpFile.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/HelpFile.hs
parent97485761cbde1e92f557285815fc88ebe60058ca (diff)
the -gfc option
Diffstat (limited to 'src/GF/Shell/HelpFile.hs')
-rw-r--r--src/GF/Shell/HelpFile.hs3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs
index 5764e9f14..ecb8c5bc4 100644
--- a/src/GF/Shell/HelpFile.hs
+++ b/src/GF/Shell/HelpFile.hs
@@ -56,7 +56,8 @@ txtHelpFile =
"\n -old old: parse in GF<2.0 format (not necessary)" ++
"\n -v verbose: give lots of messages " ++
"\n -s silent: don't give error messages" ++
- "\n -src source: ignore precompiled gfc and gfr files" ++
+ "\n -src from source: ignore precompiled gfc and gfr files" ++
+ "\n -gfc from gfc: use compiled modules whenever they exist" ++
"\n -retain retain operations: read resource modules (needed in comm cc) " ++
"\n -nocf don't build context-free grammar (thus no parser)" ++
"\n -nocheckcirc don't eliminate circular rules from CF " ++