diff options
author | Karl Berry <karl@freefriends.org> | 2016-05-01 22:54:03 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-05-01 22:54:03 +0000 |
commit | 71774e4fd4b0773da3641446dad4d62e15615a60 (patch) | |
tree | 9269923ee159b1aeafb0258ef352510a76bad6c8 /Master/texmf-dist/scripts/context/lua/mtx-interface.lua | |
parent | b87702fb17fe8db3fca90083c7b5bc5ffd065d60 (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.lua | 5 |
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) |