X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=blobdiff_plain;f=make-man-index.py;fp=make-man-index.py;h=2dbc2da995bf9d5ece4f1ff234be5ff189dc42eb;hp=5fa90aefdbcc13b1f5362191eea720fb7fc7a20a;hb=dd6f5e4fb8a18822d1de8f98d5b24d1cb4d9e851;hpb=f6b6728d1dc92754026a7f04d26f83e2290778f4 diff --git a/make-man-index.py b/make-man-index.py index 5fa90aefd..2dbc2da99 100755 --- a/make-man-index.py +++ b/make-man-index.py @@ -21,6 +21,7 @@ import collections import xml.etree.ElementTree as tree import sys +MDASH = ' — ' if sys.version_info.major >= 3 else ' -- ' TEMPLATE = '''\ @@ -91,7 +92,7 @@ def add_letter(template, letter, pages): d = tree.SubElement(b, 'manvolnum') d.text = section - b.tail = ' — ' + purpose # + ' (' + p + ')' + b.tail = MDASH + purpose # + ' (' + p + ')' tree.SubElement(para, 'sbr')