diff --git a/utils/upgrade_map_xml/upgrade_map_xml.py b/utils/upgrade_map_xml/upgrade_map_xml.py index 1cfbd04e1..991c3765c 100755 --- a/utils/upgrade_map_xml/upgrade_map_xml.py +++ b/utils/upgrade_map_xml/upgrade_map_xml.py @@ -87,7 +87,8 @@ if __name__ == "__main__": xml = sys.argv[1] tree = etree.parse(xml) - tree.xinclude() + if hasattr(tree,'xinclude') + tree.xinclude() root = tree.getroot() # rename 'bgcolor' to 'background-color'