From 92ba304626069b6bfd99f4d3f4e481f31eeea9e3 Mon Sep 17 00:00:00 2001 From: aarne Date: Sun, 6 Feb 2005 09:52:19 +0000 Subject: tuning resource API --- src/HelpFile.hs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/HelpFile.hs') diff --git a/src/HelpFile.hs b/src/HelpFile.hs index c2bed6b15..27d8e2551 100644 --- a/src/HelpFile.hs +++ b/src/HelpFile.hs @@ -111,8 +111,10 @@ txtHelpFile = "\n (Automatically executes the strip command (s) before doing this.)" ++ "\n options:" ++ "\n -utf8 apply UTF8-encoding to the grammar" ++ + "\n -graph print module dependency graph in 'dot' format" ++ "\n examples:" ++ "\n pm | wf Letter.gfcm -- print the grammar into the file Letter.gfcm" ++ + "\n pm -printer=graph | wf D.dot -- then do 'dot -Tps D.dot > D.ps'" ++ "\n" ++ "\npo, print_options: po" ++ "\n Print what modules there are in the state. Also" ++ -- cgit v1.2.3