Browse Source

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

(cherry picked from commit f3317336450e1145b97ae9e38bd626f3d4c88eb8)
suites/experimental
Haochen Tong 1 year ago
committed by Sven Eden
parent
commit
1c58496f9b
  1. 3
      tools/make-man-index.py

3
tools/make-man-index.py

@ -63,7 +63,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)

Loading…
Cancel
Save