diff options
| author | bringert <unknown> | 2005-03-08 14:31:22 +0000 |
|---|---|---|
| committer | bringert <unknown> | 2005-03-08 14:31:22 +0000 |
| commit | 7194efcea85e6a1d16b35fd2ad268dfc675a1b24 (patch) | |
| tree | 4394b0668240b8e4d92d62d2d4a80313015033b8 /src/HelpFile | |
| parent | a4b8921544c5e809f4f664d2fa19bb8257fa77bf (diff) | |
Finished UTF8 identifier conversion. Will probably redo it at string level, i.e. after pretty-printing instead
Diffstat (limited to 'src/HelpFile')
| -rw-r--r-- | src/HelpFile | 3 |
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 |