diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-03-31 20:15:47 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2016-03-31 20:15:47 +0200 |
commit | ad6c001890494bd0432aaf76940b38a997042c03 (patch) | |
tree | 0e95d32d8e3fcafda7ed1f0c33e5739303560036 /scripts/context/lua/mtx-context.xml | |
parent | ecea0b75f52a98aae0e6bcfb649927fb84ffb9c0 (diff) | |
download | context-ad6c001890494bd0432aaf76940b38a997042c03.tar.gz |
2016-03-31 19:50:00
Diffstat (limited to 'scripts/context/lua/mtx-context.xml')
-rw-r--r-- | scripts/context/lua/mtx-context.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/context/lua/mtx-context.xml b/scripts/context/lua/mtx-context.xml index 46e586153..f5a674241 100644 --- a/scripts/context/lua/mtx-context.xml +++ b/scripts/context/lua/mtx-context.xml @@ -128,6 +128,12 @@ <flag name="synctex"> <short>run with synctex enabled (optional value: zipped, unzipped, 1, -1)</short> </flag> + <flag name="nodates"> + <short>omit runtime dates in pdf file</short> + </flag> + <flag name="trailerid"> + <short>alternative trailer id (or constant one)</short> + </flag> </subcategory> <subcategory> <flag name="generate"> |