summaryrefslogtreecommitdiff
path: root/make-man-index.py
diff options
context:
space:
mode:
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-03-07 20:13:40 -0500
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>2013-03-09 08:47:50 -0500
commit80cb917e6248c15fd4a95d29954b3fd1e3d66b06 (patch)
tree004712066f3d9e1829e4b68acba161269e025d3d /make-man-index.py
parent87cfe600c7a5c0632f8dcc7713b0b1e3825b75cc (diff)
man: use lxml for faster generation and pretty printing
Diffstat (limited to 'make-man-index.py')
-rwxr-xr-xmake-man-index.py9
1 files changed, 7 insertions, 2 deletions
diff --git a/make-man-index.py b/make-man-index.py
index d38d5b63f6..d9ab5cc752 100755
--- a/make-man-index.py
+++ b/make-man-index.py
@@ -19,7 +19,12 @@
# along with systemd; If not, see <http://www.gnu.org/licenses/>.
import collections
-import xml.etree.ElementTree as tree
+try:
+ from lxml import etree as tree
+ PRETTY = dict(pretty_print=True)
+except ImportError:
+ import xml.etree.ElementTree as tree
+ PRETTY = {}
import sys
import re
MDASH = ' — ' if sys.version_info.major >= 3 else ' -- '
@@ -130,4 +135,4 @@ def make_page(xml_files):
return template
if __name__ == '__main__':
- tree.dump(make_page(sys.argv[1:]))
+ tree.dump(make_page(sys.argv[1:]), **PRETTY)