diff options
Diffstat (limited to 'src/GF/Shell/HelpFile.hs')
| -rw-r--r-- | src/GF/Shell/HelpFile.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Shell/HelpFile.hs b/src/GF/Shell/HelpFile.hs index ecb8c5bc4..e61c5cc6a 100644 --- a/src/GF/Shell/HelpFile.hs +++ b/src/GF/Shell/HelpFile.hs @@ -74,6 +74,7 @@ txtHelpFile = "\n -optimize select an optimization to override file-defined flags" ++ "\n -conversion select parsing method (values strict|nondet)" ++ "\n -probs read probabilities from file (format (--# prob) Fun Double)" ++ + "\n -preproc use a preprocessor on each source file" ++ "\n -noparse read nonparsable functions from file (format --# noparse Funs) " ++ "\n examples:" ++ "\n i English.gf -- ordinary import of Concrete" ++ |