Argh, just tripped on this, too. As it can be cleanly reproduced, please mark it as confirmed.
Thanks Martin -- info grub does not give grub texinfo manual https://launchpad.net/bugs/51564 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
