diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-02-23 09:58:59 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-02-23 09:58:59 +0000 |
| commit | c5666fabddca9eaf9786a310bc14d77ffc0bc51e (patch) | |
| tree | d7f5c3d380e1d867461e12d9390b82563758efa9 /src/HelpFile | |
| parent | 97485761cbde1e92f557285815fc88ebe60058ca (diff) | |
the -gfc option
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile index 0f6a12d8b..7edc19af7 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -27,7 +27,8 @@ i, import: i File -old old: parse in GF<2.0 format (not necessary) -v verbose: give lots of messages -s silent: don't give error messages - -src source: ignore precompiled gfc and gfr files + -src from source: ignore precompiled gfc and gfr files + -gfc from gfc: use compiled modules whenever they exist -retain retain operations: read resource modules (needed in comm cc) -nocf don't build context-free grammar (thus no parser) -nocheckcirc don't eliminate circular rules from CF |