Note that this bug affects many man pages. I count over 100 man pages for GNU utilities referring to info pages, and most of them do not have info pages installed by default.
It would be nice if running "info grub", for instance, gave a heads-up that there's additional documentation to be found in the repository. We could also consider changing the man pages to say something like this: "SEE ALSO Extended documentation for grub is available as part of the grub-doc package. After installing this package from the repositories, the command info grub should give you access to the complete manual." -- info grub does not give grub texinfo manual https://bugs.launchpad.net/bugs/51564 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs