diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-07-29 01:15:04 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-07-29 01:15:04 +0200 |
commit | 2ba8e37a1ceb163a08a50fb996fc138ff98a7eba (patch) | |
tree | 9266f15cb567fa74dd91d658e2e4655209677f82 /doc/context/scripts/mkiv/mtxrun.xml | |
parent | e4134528d83ecdfb5bc46c952acddc75c964d0ad (diff) | |
download | context-2ba8e37a1ceb163a08a50fb996fc138ff98a7eba.tar.gz |
2014-07-29 00:32:00
Diffstat (limited to 'doc/context/scripts/mkiv/mtxrun.xml')
-rw-r--r-- | doc/context/scripts/mkiv/mtxrun.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/context/scripts/mkiv/mtxrun.xml b/doc/context/scripts/mkiv/mtxrun.xml index f1b1e01f4..01f2d1263 100644 --- a/doc/context/scripts/mkiv/mtxrun.xml +++ b/doc/context/scripts/mkiv/mtxrun.xml @@ -34,6 +34,7 @@ <flag name="verbose"><short>give a bit more info</short></flag> <flag name="trackers" value="list"><short>enable given trackers</short></flag> <flag name="progname" value="str"><short>format or backend</short></flag> + <flag name="systeminfo" value="str"><short>show current operating system, processor, etc</short></flag> </subcategory> <subcategory> <flag name="edit"><short>launch editor with found file</short></flag> |