From 5c35bcf3291839f6223e5d3e123765164fce61bd Mon Sep 17 00:00:00 2001 From: Haochen Tong Date: Sun, 16 Aug 2020 03:28:46 +0200 Subject: [PATCH] tools/make-man-index: fix purpose text that contains tags (cherry picked from commit f3317336450e1145b97ae9e38bd626f3d4c88eb8) (cherry picked from commit 946e4c43bb4ac189259b3cbc035400ca90a8148f) (cherry picked from commit 31c85925a9c1de385be0a0bab3574bf3e2aa3987) --- tools/make-man-index.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/tools/make-man-index.py b/tools/make-man-index.py index 66027af02e..38b7b83747 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) -- 2.25.1