From 80cb917e6248c15fd4a95d29954b3fd1e3d66b06 Mon Sep 17 00:00:00 2001
From: Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Date: Thu, 7 Mar 2013 20:13:40 -0500
Subject: man: use lxml for faster generation and pretty printing

---
 make-directive-index.py | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'make-directive-index.py')

diff --git a/make-directive-index.py b/make-directive-index.py
index c61383b0a4..039efaa434 100755
--- a/make-directive-index.py
+++ b/make-directive-index.py
@@ -19,7 +19,12 @@
 
 import sys
 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 re
 
 TEMPLATE = '''\
@@ -277,4 +282,4 @@ def make_page(*xml_files):
     return _make_page(template, directive_groups, formatting)
 
 if __name__ == '__main__':
-    tree.dump(make_page(*sys.argv[1:]))
+    tree.dump(make_page(*sys.argv[1:]), **PRETTY)
-- 
cgit v1.2.3-54-g00ecf