New comment by loreb on void-packages repository

https://github.com/void-linux/void-packages/issues/9868#issuecomment-489326724
Comment:
Everything ok (other than empty files, but like you said that's only because man adds headers and mandoc does not, I just forgot to teach my script about it).

Thank you for the hard work!