Re: make and package manager

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