diff options
Diffstat (limited to 'build_tools/post_process_documentation.py')
| -rw-r--r-- | build_tools/post_process_documentation.py | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/build_tools/post_process_documentation.py b/build_tools/post_process_documentation.py index 5fa1c5b58..c1496beab 100644 --- a/build_tools/post_process_documentation.py +++ b/build_tools/post_process_documentation.py @@ -9,11 +9,9 @@ the GNU General Public License Version 2. ''' import sys -import os import optparse -import xml.dom.minidom -from xml.dom.minidom import Element, parse +from xml.dom.minidom import parse def merge_parameter_information(managerEvent): |