From 7194efcea85e6a1d16b35fd2ad268dfc675a1b24 Mon Sep 17 00:00:00 2001
From: bringert <unknown>
Date: Tue, 8 Mar 2005 14:31:22 +0000
Subject: Finished UTF8 identifier conversion. Will probably redo it at string
 level, i.e. after pretty-printing instead

---
 src/HelpFile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/HelpFile')

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
-- 
cgit v1.2.3