Please then consider updating the man text to include that information. IMO it's a minor bug in the text that it calls either info or grub inproperly. Newbie ubuntu users already have often difficulty with grub, them thinking that it might be broken when it is not does not help things.
-- 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
