tools/make-man-index: fix purpose text that contains tags

diff --git a/tools/make-man-index.py b/tools/make-man-index.py
index 4d206ca0b6bb741f9ce2e0d9d012d469e7a2682b..37c708d81dc0953df4bcc2183a49331838da6ae9 100755 (executable)
--- 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)