summaryrefslogtreecommitdiff
path: root/src/GF.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/GF.hs')
-rw-r--r--src/GF.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/GF.hs b/src/GF.hs
index 92e1dd204..a54327257 100644
--- a/src/GF.hs
+++ b/src/GF.hs
@@ -104,7 +104,10 @@ helpMsg = unlines [
" -make batch-compile files",
" -noemit do not emit code when compiling",
" -v be verbose when compiling",
- "Also all flags for import (i) are interpreted; see 'help i'."
+ "Also all flags for import (i) are interpreted; see 'help import'.",
+ "An example combination of flags is",
+ " gf -batch -nocpu -s",
+ "which suppresses all messages except the output and fatal errors."
]
welcomeMsg =