diff options
author | Hans Hagen <pragma@wxs.nl> | 2014-07-09 10:26:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2014-07-09 10:26:00 +0200 |
commit | 305f6529b5970f953803716fb0e475c7f52ff3b5 (patch) | |
tree | cb12e68f1c1aa8e22a7a3f06bd7bc91f63add0b8 /scripts/context/lua/mtx-context.xml | |
parent | 19e6c5feec9f26dd796a135d3f2924b9b15a998a (diff) | |
download | context-305f6529b5970f953803716fb0e475c7f52ff3b5.tar.gz |
beta 2014.07.09 10:26
Diffstat (limited to 'scripts/context/lua/mtx-context.xml')
-rw-r--r-- | scripts/context/lua/mtx-context.xml | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/scripts/context/lua/mtx-context.xml b/scripts/context/lua/mtx-context.xml index af8d5cc20..009a87740 100644 --- a/scripts/context/lua/mtx-context.xml +++ b/scripts/context/lua/mtx-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> |