summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/scripts/context/lua/mtx-interface.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-05-01 22:54:03 +0000
committerKarl Berry <karl@freefriends.org>2016-05-01 22:54:03 +0000
commit71774e4fd4b0773da3641446dad4d62e15615a60 (patch)
tree9269923ee159b1aeafb0258ef352510a76bad6c8 /Master/texmf-dist/scripts/context/lua/mtx-interface.lua
parentb87702fb17fe8db3fca90083c7b5bc5ffd065d60 (diff)
context (30apr16)
git-svn-id: svn://tug.org/texlive/trunk@40821 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts/context/lua/mtx-interface.lua')
-rw-r--r--Master/texmf-dist/scripts/context/lua/mtx-interface.lua5
1 files changed, 4 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/context/lua/mtx-interface.lua b/Master/texmf-dist/scripts/context/lua/mtx-interface.lua
index 6a968d6b1b6..b82dd5abf22 100644
--- a/Master/texmf-dist/scripts/context/lua/mtx-interface.lua
+++ b/Master/texmf-dist/scripts/context/lua/mtx-interface.lua
@@ -411,10 +411,13 @@ function scripts.interface.editor(editor,split,forcedinterfaces)
--
local collected = { }
--
+ report("generating files for %a",editor)
+ report("loading %a",xmlfile)
local xmlroot = xml.load(xmlfile)
xml.include(xmlroot,"cd:interfacefile","filename",true,function(s)
- local fullname = resolvers.findfile(s)
+ local fullname = resolvers.findfile(s)
if fullname and fullname ~= "" then
+ report("including %a",fullname)
return io.loaddata(fullname)
end
end)