New comment by non-Jedi on void-packages repository

https://github.com/void-linux/void-packages/pull/23680#issuecomment-980076051

Comment:
Specified a separate `do_install` because `make install` puts man page in wrong location.