diff options
author | Hans Hagen <pragma@wxs.nl> | 2014-06-25 19:46:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2014-06-25 19:46:00 +0200 |
commit | 1b5137f5fffe265b044838d6ee87d27070902180 (patch) | |
tree | 1282944b13996aa6aad9bd2800fbbff1bdae9f86 /tex/context/base/lxml-tex.lua | |
parent | a9c288d372917c485a2882593ed18c8044bf82f1 (diff) | |
download | context-1b5137f5fffe265b044838d6ee87d27070902180.tar.gz |
beta 2014.06.25 19:46
Diffstat (limited to 'tex/context/base/lxml-tex.lua')
-rw-r--r-- | tex/context/base/lxml-tex.lua | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tex/context/base/lxml-tex.lua b/tex/context/base/lxml-tex.lua index 0c58a47cc..c1aea3853 100644 --- a/tex/context/base/lxml-tex.lua +++ b/tex/context/base/lxml-tex.lua @@ -518,6 +518,16 @@ function lxml.include(id,pattern,attribute,options) stoptiming(xml) end +function lxml.includedfrom(id) + local x = getid(id) + local f = x and x.__f__ + if f then + context(f) + else + -- maybe some message + end +end + function lxml.save(id,name) xml.save(getid(id),name) end |