There's a closed pull request on the void-packages repository grub: remove noarch, build manpages. https://github.com/void-linux/void-packages/pull/25267 Description: Requires help2man. I think we should have grub man pages in man.voidlinux.org, because their documentation is kinda bad overall.