diff options
| author | aarne <unknown> | 2005-02-06 09:52:19 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-02-06 09:52:19 +0000 |
| commit | 92ba304626069b6bfd99f4d3f4e481f31eeea9e3 (patch) | |
| tree | 1241b9d8086999f7aa3f92f98382f5aeb8cc8290 /src | |
| parent | a1e8229910bbd01135d0e71c459872f87785a291 (diff) | |
tuning resource API
Diffstat (limited to 'src')
| -rw-r--r-- | src/HelpFile | 2 | ||||
| -rw-r--r-- | src/HelpFile.hs | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/HelpFile b/src/HelpFile index c9e015810..9c53ec498 100644 --- a/src/HelpFile +++ b/src/HelpFile @@ -82,8 +82,10 @@ pm, print_multigrammar: pm (Automatically executes the strip command (s) before doing this.) options: -utf8 apply UTF8-encoding to the grammar + -graph print module dependency graph in 'dot' format examples: pm | wf Letter.gfcm -- print the grammar into the file Letter.gfcm + pm -printer=graph | wf D.dot -- then do 'dot -Tps D.dot > D.ps' po, print_options: po Print what modules there are in the state. Also 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" ++ |