tools/make-man-index: fix purpose text that contains tags
authorHaochen Tong <i@hexchain.org>
Sun, 16 Aug 2020 01:28:46 +0000 (03:28 +0200)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sun, 20 Sep 2020 10:48:29 +0000 (12:48 +0200)
commit6dd2ab0a7d165a294c5a356f5f85cd0bc5414b10
tree0833390d9c0624a67d9027ebd28f9e9df1e8614c
parentc9a5522cd114f55e2e129ae6eae07ffed85bbbde
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)
(cherry picked from commit 5c35bcf3291839f6223e5d3e123765164fce61bd)
tools/make-man-index.py