diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-07-09 11:15:05 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-07-09 11:15:05 +0200 |
| commit | 3ce833aa5de4b2955ef00422bc3d1d77735116d5 (patch) | |
| tree | af6f7a125090e3c9a1802c7fa69215da21cec587 /doc/context/scripts/mkiv/context.xml | |
| parent | 32a229eb318e40b0fc6368e270b2cf21b8d59549 (diff) | |
| download | context-3ce833aa5de4b2955ef00422bc3d1d77735116d5.tar.gz | |
2014-07-09 10:28:00
Diffstat (limited to 'doc/context/scripts/mkiv/context.xml')
| -rw-r--r-- | doc/context/scripts/mkiv/context.xml | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/doc/context/scripts/mkiv/context.xml b/doc/context/scripts/mkiv/context.xml index af8d5cc20..009a87740 100644 --- a/doc/context/scripts/mkiv/context.xml +++ b/doc/context/scripts/mkiv/context.xml @@ -152,16 +152,19 @@ <short>update context version number (also provide <ref name="expert"/>, optionally provide <ref name="basepath"/>)</short> </flag> <flag name="nostatistics"> - <short>omit runtime statistics at the end of the run</short> + <short>omit runtime statistics at the end of the run</short> </flag> <flag name="update"> <short>update context from website (not to be confused with contextgarden)</short> </flag> - <flag name="profile"> - <short>profile job (use: mtxrun <ref name="script"/> profile <ref name="analyze"/>)</short> + <flag name="profile"> + <short>profile job (use: mtxrun <ref name="script"/> profile <ref name="analyze"/>)</short> </flag> - <flag name="timing"> - <short>generate timing and statistics overview</short> + <flag name="timing"> + <short>generate timing and statistics overview</short> + </flag> + <flag name="keeptuc"> + <short>keep previous tuc files (numbered by run)</short> </flag> </subcategory> <subcategory> |