On Saturday 12 April 2014 05:28:04 Fredrik Tolf wrote: > `grub-bios-setup' utility isn't even so much as mentioned in the Texinfo > manual
I think the name changed from grub-setup to grub-bios-setup at some point. So you may want to search the manual for grub-setup instead. -- bl0 _______________________________________________ Help-grub mailing list [email protected] https://lists.gnu.org/mailman/listinfo/help-grub
