There is an updated pull request by ericonr against master on the void-packages repository

https://github.com/ericonr/void-packages grub
https://github.com/void-linux/void-packages/pull/25267

grub: build manpages.
Requires help2man.

I think we should have grub man pages in man.voidlinux.org, because their documentation is kinda bad overall.

A patch file from https://github.com/void-linux/void-packages/pull/25267.patch is attached