On 28/05/2026 6:02 pm, David wrote:
On Thu, 28 May 2026 at 02:40, Roy J. Tellason, Sr. wrote:
Looked that over, then tried "info make" which had a bit more in it,
but not as much as I'd like.
Do you have the make-doc package installed? If so you should get the
long and detailed document otherwise perhaps you get make(1) man page.
Hi, the canonical user reference for Gnu Make is the Gnu Make Manual [1].
[...]
[1] https://www.gnu.org/software/make/manual/make.html
It should be the same document as "info make" modulo latest make release
and the version packaged in Debian. You may have it locally as
<file:///usr/share/doc/make-doc/make.html/index.html>
or in PDF format as /usr/share/doc/make-doc/make.pdf.gz
