diff options
Diffstat (limited to 'src/HelpFile.hs')
| -rw-r--r-- | src/HelpFile.hs | 2 |
1 files changed, 2 insertions, 0 deletions
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" ++ |