diff options
Diffstat (limited to 'tex/context/base/lxml-aux.lua')
| -rw-r--r-- | tex/context/base/lxml-aux.lua | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tex/context/base/lxml-aux.lua b/tex/context/base/lxml-aux.lua index 963873bc9..70364b657 100644 --- a/tex/context/base/lxml-aux.lua +++ b/tex/context/base/lxml-aux.lua @@ -405,7 +405,14 @@ local function include(xmldata,pattern,attribute,recursive,loaddata) end local child = xml.body(xi) -- xml.assign(d,k,xi) child.__p__ = ekrt + child.__f__ = name -- handy for tracing epdt[ek.ni] = child + local inclusions = xmldata.settings.inclusions + if inclusions then + inclusions[#inclusions+1] = name + else + xmldata.settings.inclusions = { name } + end end end end |