diff options
author | Hans Hagen <pragma@wxs.nl> | 2017-05-14 19:58:50 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-05-14 19:58:50 +0200 |
commit | fd0c4577a4b6e85ca2db664906e1a03807ce133f (patch) | |
tree | fa23fcc04248d03ff82e34634b8ef1bb9cf28acb /doc/context/scripts/mkiv/context.xml | |
parent | db581096187dc2d3cbdbe4cdc39d247c168b1607 (diff) | |
download | context-fd0c4577a4b6e85ca2db664906e1a03807ce133f.tar.gz |
2017-05-14 19:15:00
Diffstat (limited to 'doc/context/scripts/mkiv/context.xml')
-rw-r--r-- | doc/context/scripts/mkiv/context.xml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/context/scripts/mkiv/context.xml b/doc/context/scripts/mkiv/context.xml index 2ba7ee59e..25e92d7a6 100644 --- a/doc/context/scripts/mkiv/context.xml +++ b/doc/context/scripts/mkiv/context.xml @@ -4,7 +4,7 @@ <metadata> <entry name="name">mtx-context</entry> <entry name="detail">ConTeXt Process Management</entry> - <entry name="version">0.62</entry> + <entry name="version">1.01</entry> <entry name="comment">external helpinfo file</entry> </metadata> <flags> @@ -126,7 +126,10 @@ <short>run without stopping</short> </flag> <flag name="synctex"> - <short>run with synctex enabled (optional value: zipped, unzipped, 1, -1)</short> + <short>run with synctex enabled (optional value: zipped, unzipped, 1, -1, context)</short> + </flag> + <flag name="syncttx"> + <short>a shortcut for --synctex=context</short> </flag> <flag name="nodates"> <short>omit runtime dates in pdf file (optional value: a number (this 1970 offset time) or string "YYYY-MM-DD HH:MM")</short> |