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:34:41 +0000 (12:34 +0200)
commit5c35bcf3291839f6223e5d3e123765164fce61bd
tree21c6f0449e735f5d2db968033fd2bcf6db4836cf
parentda1eb548fbb674d9d11fb6137956fec2b155a066
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