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.html | |
parent | 1e5d7f41ddede5e6400a2a7762032823d3545df4 (diff) | |
download | context-25fcad7435f56cdce2658336909f4da6a65589c0.tar.gz |
2018-04-13 15:02:00
Diffstat (limited to 'doc/context/scripts/mkii/texmfstart.html')
-rw-r--r-- | doc/context/scripts/mkii/texmfstart.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/context/scripts/mkii/texmfstart.html b/doc/context/scripts/mkii/texmfstart.html index 6e1f7f618..0b76962a1 100644 --- a/doc/context/scripts/mkii/texmfstart.html +++ b/doc/context/scripts/mkii/texmfstart.html @@ -66,7 +66,7 @@ <tr><th>--systeminfo</th><td>str</td><td>show current operating system, processor, etc</td></tr> <tr><th/><td/><td/></tr> <tr><th>--edit</th><td></td><td>launch editor with found file</td></tr> - <tr><th>--launch</th><td></td><td>launch files like manuals, assumes os support (--all)</td></tr> + <tr><th>--launch</th><td></td><td>launch files like manuals, assumes os support (--all,--list)</td></tr> <tr><th/><td/><td/></tr> <tr><th>--timedrun</th><td></td><td>run a script and time its run</td></tr> <tr><th>--autogenerate</th><td></td><td>regenerate databases if needed (handy when used to run context in an editor)</td></tr> |