X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=blobdiff_plain;f=make-directive-index.py;h=99e7bfaf2856e1500796d7af913ff615d63292e3;hp=c61383b0a46482e46f3e94c2f956d01b7fea607f;hb=80cfe9e163b1c92f917e0a5e053b148fca790677;hpb=37d3ab1b7e114f0fb6dfb2e7273569b42794b76a

diff --git a/make-directive-index.py b/make-directive-index.py
index c61383b0a..99e7bfaf2 100755
--- a/make-directive-index.py
+++ b/make-directive-index.py
@@ -19,8 +19,8 @@
 
 import sys
 import collections
-import xml.etree.ElementTree as tree
 import re
+from xml_helper import *
 
 TEMPLATE = '''\
 <refentry id="systemd.directives" conditional="HAVE_PYTHON">
@@ -168,7 +168,7 @@ referring to {pages} individual manual pages.
 '''
 
 def _extract_directives(directive_groups, formatting, page):
-    t = tree.parse(page)
+    t = xml_parse(page)
     section = t.find('./refmeta/manvolnum').text
     pagename = t.find('./refmeta/refentrytitle').text
 
@@ -277,4 +277,5 @@ def make_page(*xml_files):
     return _make_page(template, directive_groups, formatting)
 
 if __name__ == '__main__':
-    tree.dump(make_page(*sys.argv[1:]))
+    with open(sys.argv[1], 'wb') as f:
+        f.write(xml_print(make_page(*sys.argv[2:])))