chiark / gitweb /
make-man-index: work around UnicodeDecodeError
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 15:34:59 +0000 (10:34 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 16:30:42 +0000 (11:30 -0500)
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')