diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/context/scripts/mkiv/mtx-interface.html | 1 | ||||
-rw-r--r-- | doc/context/scripts/mkiv/mtx-interface.man | 3 | ||||
-rw-r--r-- | doc/context/scripts/mkiv/mtx-interface.xml | 1 |
3 files changed, 5 insertions, 0 deletions
diff --git a/doc/context/scripts/mkiv/mtx-interface.html b/doc/context/scripts/mkiv/mtx-interface.html index 4098ccaa2..a23a19b7d 100644 --- a/doc/context/scripts/mkiv/mtx-interface.html +++ b/doc/context/scripts/mkiv/mtx-interface.html @@ -51,6 +51,7 @@ <tr><th>--raw</th><td></td><td>report commands to the console</td></tr> <tr><th>--check</th><td></td><td>generate check file</td></tr> <tr><th>--meaning</th><td></td><td>report the mening of commands</td></tr> + <tr><th>--tokens</th><td></td><td>show the internal representation of commands</td></tr> <tr><th/><td/><td/></tr> <tr><th>--toutf</th><td></td><td>replace named characters by utf</td></tr> <tr><th>--preprocess</th><td></td><td>preprocess mkvi files to tex files [force,suffix]</td></tr> diff --git a/doc/context/scripts/mkiv/mtx-interface.man b/doc/context/scripts/mkiv/mtx-interface.man index d3531d456..e76508a3f 100644 --- a/doc/context/scripts/mkiv/mtx-interface.man +++ b/doc/context/scripts/mkiv/mtx-interface.man @@ -41,6 +41,9 @@ generate check file .B --meaning report the mening of commands .TP +.B --tokens +show the internal representation of commands +.TP .B --toutf replace named characters by utf .TP diff --git a/doc/context/scripts/mkiv/mtx-interface.xml b/doc/context/scripts/mkiv/mtx-interface.xml index 5faff8507..6ffd3af73 100644 --- a/doc/context/scripts/mkiv/mtx-interface.xml +++ b/doc/context/scripts/mkiv/mtx-interface.xml @@ -22,6 +22,7 @@ <flag name="raw"><short>report commands to the console</short></flag> <flag name="check"><short>generate check file</short></flag> <flag name="meaning"><short>report the mening of commands</short></flag> + <flag name="tokens"><short>show the internal representation of commands</short></flag> </subcategory> <subcategory> <flag name="toutf"><short>replace named characters by utf</short></flag> |