diff options
| author | aarne <aarne@cs.chalmers.se> | 2005-12-21 19:46:48 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2005-12-21 19:46:48 +0000 |
| commit | 89ec5b808b56eb408f0200aa38f64c25f59aff07 (patch) | |
| tree | cc1b2678da9009fcf89ab1785275ba1e2ee58ca8 /src/GF.hs | |
| parent | f4c5fcf44ad9cfa79435ce76fa40e5f57d645cce (diff) | |
parsing escaped strings from command line fixed
Diffstat (limited to 'src/GF.hs')
| -rw-r--r-- | src/GF.hs | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 = |