diff options
| -rw-r--r-- | tools/docdump/makedocs.py | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/tools/docdump/makedocs.py b/tools/docdump/makedocs.py index 921b049bd8..be57891abc 100644 --- a/tools/docdump/makedocs.py +++ b/tools/docdump/makedocs.py @@ -28,13 +28,12 @@ # # Also check other TODO entries in this script for more information on what is # left to do. -import gettext import argparse +import gettext import logging import re from itertools import zip_longest -from os import path -from os import listdir +from os import path, listdir from xml.etree import ElementTree |