diff options
| author | Haochen Tong <i@hexchain.org> | 2020-08-16 03:28:46 +0200 |
|---|---|---|
| committer | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2020-08-17 18:32:51 +0200 |
| commit | f3317336450e1145b97ae9e38bd626f3d4c88eb8 (patch) | |
| tree | 27873598edf6e7c31766932d8716f20179bb5861 /tools/make-man-index.py | |
| parent | 209650b7200115d2cad9081cb97e22608fce41f8 (diff) | |
| download | systemd-f3317336450e1145b97ae9e38bd626f3d4c88eb8.tar.gz | |
tools/make-man-index: fix purpose text that contains tags
Diffstat (limited to 'tools/make-man-index.py')
| -rwxr-xr-x | tools/make-man-index.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/make-man-index.py b/tools/make-man-index.py index 4d206ca0b6..37c708d81d 100755 --- a/tools/make-man-index.py +++ b/tools/make-man-index.py @@ -55,7 +55,8 @@ def make_index(pages): check_id(p, t) section = t.find('./refmeta/manvolnum').text refname = t.find('./refnamediv/refname').text - purpose = ' '.join(t.find('./refnamediv/refpurpose').text.split()) + purpose_text = ' '.join(t.find('./refnamediv/refpurpose').itertext()) + purpose = ' '.join(purpose_text.split()) for f in t.findall('./refnamediv/refname'): infos = (f.text, section, purpose, refname) index[f.text[0].upper()].append(infos) |