On Tue, Nov 26, 2013 at 11:19 AM, Beeblebrox <zap...@berentweb.com> wrote:
> Still have to manually clean out the "docs" references in Makefile however. > Did earlier versions grub.texi compiled? In this case you could try to bisect it. Setup build tree outside of git checkout and just copy grub.texi over; it is self contained. _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel