New review comment by paper42 on void-packages repository

https://github.com/void-linux/void-packages/pull/43331#discussion_r1160982785

Comment:
it doesn't seem to put any manpages to the package, is it putting it to / directly and not into $DESTDIR?