diff options
Diffstat (limited to 'tools/xml_helper.py')
-rwxr-xr-x | tools/xml_helper.py | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tools/xml_helper.py b/tools/xml_helper.py new file mode 100755 index 0000000..f399e74 --- /dev/null +++ b/tools/xml_helper.py @@ -0,0 +1,20 @@ +#!/usr/bin/env python3 +# SPDX-License-Identifier: LGPL-2.1+ + +from lxml import etree as tree + +class CustomResolver(tree.Resolver): + def resolve(self, url, id, context): + if 'custom-entities.ent' in url: + return self.resolve_filename('man/custom-entities.ent', context) + +_parser = tree.XMLParser() +_parser.resolvers.add(CustomResolver()) + +def xml_parse(page): + doc = tree.parse(page, _parser) + doc.xinclude() + return doc + +def xml_print(xml): + return tree.tostring(xml, pretty_print=True, encoding='utf-8') |