diff options
Diffstat (limited to 'scripts/context/lua/mtx-plain.lua')
| -rw-r--r-- | scripts/context/lua/mtx-plain.lua | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/scripts/context/lua/mtx-plain.lua b/scripts/context/lua/mtx-plain.lua index f7fe60483..f43dcdeaf 100644 --- a/scripts/context/lua/mtx-plain.lua +++ b/scripts/context/lua/mtx-plain.lua @@ -47,10 +47,8 @@ scripts.plain = scripts.plain or { } local function execute(...) local command = string.format(...) - report("running command %a",command) - report() + report("running command %a\n",command) os.execute(command) - report() end local function resultof(...) @@ -97,10 +95,10 @@ function scripts.plain.make(texengine,texformat) else lfs.chdir(fmtpath) end - execute('%s --ini %s',texengine,file.addsuffix(texformat,"tex")) + execute('%s --ini %s \\dump',texengine,file.addsuffix(texformat,"tex")) report("generating kpse file database") execute("mktexlsr") - report("format saved on path %a",fmtpath) + report("format %a saved on path %a",texformat,fmtpath) end function scripts.plain.run(texengine,texformat,filename) |