* util/grub-mkconfig.in (GRUB_CMDLINE_GNUMACH): Export variable. * util/grub.d/10_hurd.in: Include GRUB_CMDLINE_GNUMACH in gnumach command line. * docs/grub.texi (Simple configuration): Document GRUB_CMDLINE_GNUMACH.
* util/grub-mkconfig.in (GRUB_CMDLINE_GNUMACH): Export variable. * util/grub.d/10_hurd.in: Include GRUB_CMDLINE_GNUMACH in gnumach command line. * docs/grub.texi (Simple configuration): Document GRUB_CMDLINE_GNUMACH.