diff options
author | Hans Hagen <pragma@wxs.nl> | 2018-08-20 18:19:40 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2018-08-20 18:19:40 +0200 |
commit | eac3559b6b0ef831294368a3a835070ecd7c44fc (patch) | |
tree | 1345e7e40d4311cb2667874f22b5701b6fc25ee7 /doc/context/scripts/mkii/texmfstart.xml | |
parent | 7539371c37c02bc2bc6c5d7ebffa2ffc6fec36c3 (diff) | |
download | context-eac3559b6b0ef831294368a3a835070ecd7c44fc.tar.gz |
2018-08-20 17:54:00
Diffstat (limited to 'doc/context/scripts/mkii/texmfstart.xml')
-rw-r--r-- | doc/context/scripts/mkii/texmfstart.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/context/scripts/mkii/texmfstart.xml b/doc/context/scripts/mkii/texmfstart.xml index 4a9392998..8f501ff66 100644 --- a/doc/context/scripts/mkii/texmfstart.xml +++ b/doc/context/scripts/mkii/texmfstart.xml @@ -16,9 +16,7 @@ <flag name="locate"><short>locate given filename in database (default) or system (<ref name="first"/> <ref name="all"/> <ref name="detail"/>)</short></flag> </subcategory> <subcategory> - <flag name="autotree"><short>use texmf tree cf. env texmfstart_tree or texmfstarttree</short></flag> <flag name="tree" value="pathtotree"><short>use given texmf tree (default file: setuptex.tmf)</short></flag> - <flag name="environment" value="name"><short>use given (tmf) environment file</short></flag> <flag name="path" value="runpath"><short>go to given path before execution</short></flag> <flag name="ifchanged" value="filename"><short>only execute when given file has changed (md checksum)</short></flag> <flag name="iftouched" value="old,new"><short>only execute when given file has changed (time stamp)</short></flag> |