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

Reply via email to