beta 2014.06.25 19:46

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