diff options
| author | Hans Hagen <pragma@wxs.nl> | 2018-04-13 15:51:39 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2018-04-13 15:51:39 +0200 |
| commit | 25fcad7435f56cdce2658336909f4da6a65589c0 (patch) | |
| tree | c23d5d04a7e86c7ddc2ebeca06d3de63ebdc806e /doc/context/scripts/mkii/texmfstart.xml | |
| parent | 1e5d7f41ddede5e6400a2a7762032823d3545df4 (diff) | |
| download | context-25fcad7435f56cdce2658336909f4da6a65589c0.tar.gz | |
2018-04-13 15:02:00
Diffstat (limited to 'doc/context/scripts/mkii/texmfstart.xml')
| -rw-r--r-- | doc/context/scripts/mkii/texmfstart.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/context/scripts/mkii/texmfstart.xml b/doc/context/scripts/mkii/texmfstart.xml index 0fc6505f4..4a9392998 100644 --- a/doc/context/scripts/mkii/texmfstart.xml +++ b/doc/context/scripts/mkii/texmfstart.xml @@ -38,7 +38,7 @@ </subcategory> <subcategory> <flag name="edit"><short>launch editor with found file</short></flag> - <flag name="launch"><short>launch files like manuals, assumes os support (<ref name="all"/>)</short></flag> + <flag name="launch"><short>launch files like manuals, assumes os support (<ref name="all"/>,<ref name="list"/>)</short></flag> </subcategory> <subcategory> <flag name="timedrun"><short>run a script and time its run</short></flag> |