diff options
Diffstat (limited to 'scripts/context/lua/mtx-context.lua')
| -rw-r--r-- | scripts/context/lua/mtx-context.lua | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-context.lua b/scripts/context/lua/mtx-context.lua index fd4fe8af3..f93fd8caf 100644 --- a/scripts/context/lua/mtx-context.lua +++ b/scripts/context/lua/mtx-context.lua @@ -503,13 +503,16 @@ function scripts.context.run(ctxdata,filename) for i=1,#filelist do -- local filename = filelist[i] - local basename = file.basename(filename) + local basename = file.basename(filename) -- use splitter local pathname = file.dirname(filename) local jobname = file.removesuffix(basename) local ctxname = ctxdata and ctxdata.ctxname -- if pathname == "" and not a_global and filename ~= usedfiles.nop then filename = "./" .. filename + if not lfs.isfile(filename) then + report("warning: no (local) file %a, proceeding",filename) + end end -- local analysis = preamble_analyze(filename) |