diff options
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 |