diff options
author | Hans Hagen <pragma@wxs.nl> | 2014-07-29 00:30:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2014-07-29 00:30:00 +0200 |
commit | b5e7eb047db872bbaf068384c4e3cd866ad84077 (patch) | |
tree | 4f8e1c0a513abb0bcec51e35299c3da23784ced5 /doc/context/scripts/mkii/texmfstart.xml | |
parent | e63baf9e8915e379e3883d5885e11b923d038318 (diff) | |
download | context-b5e7eb047db872bbaf068384c4e3cd866ad84077.tar.gz |
beta 2014.07.29 00:30
Diffstat (limited to 'doc/context/scripts/mkii/texmfstart.xml')
-rw-r--r-- | doc/context/scripts/mkii/texmfstart.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/context/scripts/mkii/texmfstart.xml b/doc/context/scripts/mkii/texmfstart.xml index 249a9bb54..c19484d9d 100644 --- a/doc/context/scripts/mkii/texmfstart.xml +++ b/doc/context/scripts/mkii/texmfstart.xml @@ -33,6 +33,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> |