X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=elogind.git;a=blobdiff_plain;f=make-man-index.py;h=f829d98b6a587989ac9a0589354c436bf4347793;hp=5fa90aefdbcc13b1f5362191eea720fb7fc7a20a;hb=7aa955af052f8e50bfdbf01f368317012775bc9f;hpb=f6b6728d1dc92754026a7f04d26f83e2290778f4 diff --git a/make-man-index.py b/make-man-index.py index 5fa90aefd..f829d98b6 100755 --- a/make-man-index.py +++ b/make-man-index.py @@ -21,9 +21,10 @@ import collections import xml.etree.ElementTree as tree import sys +MDASH = ' — ' if sys.version_info.major >= 3 else ' -- ' TEMPLATE = '''\ - + systemd.index @@ -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')