chiark / gitweb /
make-man-index: work around UnicodeDecodeError
[elogind.git] / make-man-index.py
index 5fa90aefdbcc13b1f5362191eea720fb7fc7a20a..2dbc2da995bf9d5ece4f1ff234be5ff189dc42eb 100755 (executable)
@@ -21,6 +21,7 @@
 import collections
 import xml.etree.ElementTree as tree
 import sys
+MDASH = ' — ' if sys.version_info.major >= 3 else ' -- '
 
 TEMPLATE = '''\
 <refentry id="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')