diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-09-06 16:15:03 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-09-06 16:15:03 +0200 |
commit | f60666a724022ac23394f336e0f9190349e689de (patch) | |
tree | f267125ca13455d5dacbf32f5db5a1fea15e1401 /doc/context/scripts/mkiv/context.xml | |
parent | e09fab77f609ec2b8083836551b2c225a351eae9 (diff) | |
download | context-f60666a724022ac23394f336e0f9190349e689de.tar.gz |
2014-09-06 15:43:00
Diffstat (limited to 'doc/context/scripts/mkiv/context.xml')
-rw-r--r-- | doc/context/scripts/mkiv/context.xml | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/doc/context/scripts/mkiv/context.xml b/doc/context/scripts/mkiv/context.xml index 009a87740..4525908d6 100644 --- a/doc/context/scripts/mkiv/context.xml +++ b/doc/context/scripts/mkiv/context.xml @@ -142,7 +142,7 @@ <short>assume given file present elsewhere</short> </flag> <flag name="nofile"> - <short>use dummy file as jobname</short> + <short>use dummy file as jobname</short> </flag> </subcategory> </category> @@ -155,7 +155,7 @@ <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> + <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> @@ -164,7 +164,10 @@ <short>generate timing and statistics overview</short> </flag> <flag name="keeptuc"> - <short>keep previous tuc files (numbered by run)</short> + <short>keep previous tuc files (jobname-tuc-[run].tmp)</short> + </flag> + <flag name="keeplog"> + <short>keep previous log files (jobname-log-[run].tmp)</short> </flag> </subcategory> <subcategory> |