diff options
author | Hans Hagen <pragma@wxs.nl> | 2013-04-29 20:30:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2013-04-29 20:30:00 +0200 |
commit | 06db4d2bb4c188d9c745f0c1dea839f9241655a7 (patch) | |
tree | 1b240edeab858171f5e61fd7bbeaabfb837d3f7b /scripts/context/lua/mtx-plain.lua | |
parent | 400a3bb7075143299daab377ce433c5c28390ddb (diff) | |
download | context-06db4d2bb4c188d9c745f0c1dea839f9241655a7.tar.gz |
beta 2013.04.29 20:30
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) |