X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=blobdiff_plain;f=make-man-index.py;h=2dbc2da995bf9d5ece4f1ff234be5ff189dc42eb;hb=6d3a739048deab5c10a0debdad788e19898144cc;hp=5fa90aefdbcc13b1f5362191eea720fb7fc7a20a;hpb=f6b6728d1dc92754026a7f04d26f83e2290778f4;p=elogind.git 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')