diff --git a/tools/make-directive-index.py b/tools/make-directive-index.py index 1b287997fa..f9203ddd1a 100755 --- a/tools/make-directive-index.py +++ b/tools/make-directive-index.py @@ -21,7 +21,7 @@ import sys import collections import re -from xml_helper import * +from xml_helper import xml_parse, xml_print, tree from copy import deepcopy TEMPLATE = '''\ diff --git a/tools/make-man-index.py b/tools/make-man-index.py index abc33e7394..0618e2e677 100755 --- a/tools/make-man-index.py +++ b/tools/make-man-index.py @@ -22,7 +22,7 @@ import collections import sys import re -from xml_helper import * +from xml_helper import xml_parse, xml_print, tree MDASH = ' — ' if sys.version_info.major >= 3 else ' -- ' diff --git a/tools/make-man-rules.py b/tools/make-man-rules.py index da94d3eabe..e0f18d6fbe 100755 --- a/tools/make-man-rules.py +++ b/tools/make-man-rules.py @@ -23,7 +23,7 @@ import collections import sys import os.path import pprint -from xml_helper import * +from xml_helper import xml_parse def man(page, number): return '{}.{}'.format(page, number)