diff options
author | Hans Hagen <pragma@wxs.nl> | 2017-11-22 15:35:23 +0100 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2017-11-22 15:35:23 +0100 |
commit | 409a95f63883bd3b91699d39645e39a8a761457c (patch) | |
tree | e15b7563c06ea0a5a8c2a148f3ef04db5c841f69 /scripts/context/lua/mtx-plain.lua | |
parent | 5b9683a8f29dd473e17502aa1746a6bcc3036fe3 (diff) | |
download | context-409a95f63883bd3b91699d39645e39a8a761457c.tar.gz |
2017-11-22 13:41:00
Diffstat (limited to 'scripts/context/lua/mtx-plain.lua')
-rw-r--r-- | scripts/context/lua/mtx-plain.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-plain.lua b/scripts/context/lua/mtx-plain.lua index 43ced20ef..72cc48f92 100644 --- a/scripts/context/lua/mtx-plain.lua +++ b/scripts/context/lua/mtx-plain.lua @@ -49,7 +49,8 @@ scripts = scripts or { } scripts.plain = scripts.plain or { } local passed_options = table.tohash { - "utc" + "utc", + "synctex", } local function execute(...) |