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>
Mon, 17 Aug 2020 16:32:51 +0000 (18:32 +0200)
commitf3317336450e1145b97ae9e38bd626f3d4c88eb8
tree27873598edf6e7c31766932d8716f20179bb5861
parent209650b7200115d2cad9081cb97e22608fce41f8
tools/make-man-index: fix purpose text that contains tags
tools/make-man-index.py