Package: make
Version: 4.2.1-1.2
Severity: wishlist
The man page for make contains
SEE ALSO
The full documentation for make is maintained as a Texinfo manual. If
the info and make programs are properly installed at your site, the
command
info make
should give you access to the complete manual.
Obviously, in debian the info page isn't available by default since it
was broken out. Adding a tutorial on how to install a package from
non-free is probably outside the scope of make.1. But, perhaps you could
add something like:
Full documentation available at
https://www.gnu.org/software/make/manual/html_node/index.html
Which is much more likely to be useful to a user on a default debian
install.
Mike Stone
