> Did earlier versions grub.texi compiled? Yes, earlier versions of grub.texi did compile.
> Setup build tree outside of git checkout and just copy > grub.texi over; it is self contained. It's OK, I don't need it really. Unless you need me to test and get back to you with results. _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
