diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-03 20:15:06 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-04-03 20:15:06 +0200 |
| commit | f1cde6067499874bf126dfc6f5bedb598f117073 (patch) | |
| tree | da8b4e8f480df5e4caa8149253ee6711b918784c /tex/context/base/lxml-aux.lua | |
| parent | d48764d88ac59aa9b0130f1049892296a3eb4684 (diff) | |
| download | context-f1cde6067499874bf126dfc6f5bedb598f117073.tar.gz | |
2015-04-03 20:04:00
Diffstat (limited to 'tex/context/base/lxml-aux.lua')
| -rw-r--r-- | tex/context/base/lxml-aux.lua | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tex/context/base/lxml-aux.lua b/tex/context/base/lxml-aux.lua index 19c5968b7..f6816ccb6 100644 --- a/tex/context/base/lxml-aux.lua +++ b/tex/context/base/lxml-aux.lua @@ -16,7 +16,7 @@ local report_xml = logs.reporter("xml") local xml = xml -local xmlconvert, xmlcopy, xmlname = xml.convert, xml.copy, xml.name +local xmlcopy, xmlname = xml.copy, xml.name local xmlinheritedconvert = xml.inheritedconvert local xmlapplylpath = xml.applylpath local xmlfilter = xml.filter @@ -167,6 +167,8 @@ local function redo_ni(d) end end +xml.reindex = redo_ni + local function xmltoelement(whatever,root) if not whatever then return nil |