chiark
/
gitweb
/
~ianmdlvl
/
elogind.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
f6b6728
)
make-man-index: work around UnicodeDecodeError
author
Zbigniew Jędrzejewski-Szmek
<zbyszek@in.waw.pl>
Tue, 15 Jan 2013 15:34:59 +0000
(10:34 -0500)
committer
Zbigniew Jędrzejewski-Szmek
<zbyszek@in.waw.pl>
Tue, 15 Jan 2013 16:30:42 +0000
(11:30 -0500)
make-man-index.py
patch
|
blob
|
history
diff --git
a/make-man-index.py
b/make-man-index.py
index 5fa90aefdbcc13b1f5362191eea720fb7fc7a20a..2dbc2da995bf9d5ece4f1ff234be5ff189dc42eb 100755
(executable)
--- 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 = '''\
<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')