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=15bd9b93410334c6982792939d4777aec6fdaa81;hb=c4aa09b06f835c91cea9e021df4c3605cff2318d;hpb=a4e0b94d318e35b1441fc56f590668e80ff2e44e diff --git a/make-directive-index.py b/make-directive-index.py index 15bd9b934..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 = '''\ @@ -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 @@ -185,7 +185,10 @@ def _extract_directives(directive_groups, formatting, page): stor[text].append((pagename, section)) if text not in formatting: # use element as formatted display - name.tail = '' + if name.text[-1] in '= ': + name.clear() + else: + name.tail = '' name.text = text formatting[text] = name @@ -274,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:])))