hi folks-- https://www.gnu.org/software/grub/manual/grub.html appears to be generated from 2.00~rc1. Given that 2.00 has been out for a while now, it seems like the online docs should probably be updated to match.
Thanks for all the work on grub! Regards, --dkg _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel