From 89ec5b808b56eb408f0200aa38f64c25f59aff07 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 21 Dec 2005 19:46:48 +0000 Subject: parsing escaped strings from command line fixed --- src/GF.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/GF.hs') 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 = -- cgit v1.2.3