summaryrefslogtreecommitdiff
path: root/src/HelpFile
diff options
context:
space:
mode:
Diffstat (limited to 'src/HelpFile')
-rw-r--r--src/HelpFile3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/HelpFile b/src/HelpFile
index 4283164df..22e697da6 100644
--- a/src/HelpFile
+++ b/src/HelpFile
@@ -81,7 +81,8 @@ pm, print_multigrammar: pm
Prints the current multilingual grammar in .gfcm form.
(Automatically executes the strip command (s) before doing this.)
options:
- -utf8 apply UTF8-encoding to the grammar
+ -utf8 apply UTF8 encoding to the tokens in the grammar
+ -utf8id apply UTF8 encoding to the identifiers in the grammar
-graph print module dependency graph in 'dot' format
examples:
pm | wf Letter.gfcm -- print the grammar into the file Letter.gfcm