diff options
| -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" ++ |