diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-07 15:20:36 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-05-07 15:20:36 +0200 |
| commit | 00a715fb30c2765bffae1bc07a9249359aeea38a (patch) | |
| tree | 70f9bff572256afbb15bf15a0ffaae3708f965c4 /scripts/context/lua/mtx-context.xml | |
| parent | b162038956eefaaa786603e8faceff35016bdc82 (diff) | |
| download | context-00a715fb30c2765bffae1bc07a9249359aeea38a.tar.gz | |
2016-05-07 14:41:00
Diffstat (limited to 'scripts/context/lua/mtx-context.xml')
| -rw-r--r-- | scripts/context/lua/mtx-context.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-context.xml b/scripts/context/lua/mtx-context.xml index f5a674241..2ba7ee59e 100644 --- a/scripts/context/lua/mtx-context.xml +++ b/scripts/context/lua/mtx-context.xml @@ -129,7 +129,10 @@ <short>run with synctex enabled (optional value: zipped, unzipped, 1, -1)</short> </flag> <flag name="nodates"> - <short>omit runtime dates in pdf file</short> + <short>omit runtime dates in pdf file (optional value: a number (this 1970 offset time) or string "YYYY-MM-DD HH:MM")</short> + </flag> + <flag name="nocompression"> + <short>forcefully turns off compression in the backend</short> </flag> <flag name="trailerid"> <short>alternative trailer id (or constant one)</short> |