diff options
| author | Hans Hagen <pragma@wxs.nl> | 2011-04-24 15:15:00 +0200 |
|---|---|---|
| committer | Hans Hagen <pragma@wxs.nl> | 2011-04-24 15:15:00 +0200 |
| commit | fbc0d1cded960d9ab6b4efceed2bbdcd59629228 (patch) | |
| tree | 6cfbfe8313e8326c44ee35a858cade3cfce11b83 /scripts | |
| parent | fc6e66c60e7d4d03104db3eb7b412f658aa0ec42 (diff) | |
| download | context-fbc0d1cded960d9ab6b4efceed2bbdcd59629228.tar.gz | |
beta 2011.04.24 15:15
Diffstat (limited to 'scripts')
| -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) |