diff options
| author | Marius <mariausol@gmail.com> | 2011-04-24 16:20:14 +0300 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-04-24 16:20:14 +0300 |
| commit | 450e273d5438a33d75f0750ab854ef0c4d20f3b0 (patch) | |
| tree | e3bb60161459b5e9cc4efc82e5798b79e35e5432 /scripts/context/lua | |
| parent | eb3f14321641375e3bda88163da63bbceda93f47 (diff) | |
| download | context-450e273d5438a33d75f0750ab854ef0c4d20f3b0.tar.gz | |
beta 2011.04.24 15:15
Diffstat (limited to 'scripts/context/lua')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index 540f35100..5645e4760 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -848,7 +848,8 @@ function scripts.context.run(ctxdata,filename) flags[#flags+1] = "--interaction=batchmode" end if environment.argument("synctex") then - report("warning: syntex is enabled") -- can add upto 5% runtime + -- this should become a directive + report("warning: synctex is enabled") -- can add upto 5% runtime flags[#flags+1] = "--synctex=1" end flags[#flags+1] = "--fmt=" .. quote(formatfile) |