Follow-up Comment #5, bug #36881 (project make):
Sure but if you use the distro-provided program you should always use the
distro-provided documentation as well, not documentation you find on the web.
Distributions are by definition virtually always behind the upstream
development.
All distros should ship the GNU make manual either as part of the base GNU
make package, or as a separate doc package you can install, and that version
of the manual should match the version of make on your system.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?36881>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
Bug-make mailing list
Bug-make@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-make
