Re: make and package manager
David <[email protected]>
| Newsgroups | gmane.linux.debian.user |
|---|---|
| Message-ID | <CAMPXz=pXD1eiC=2HMjSF9B3ARskDBDAFzrTSH2V2UACLW6BqJg@mail.gmail.com> |
On Fri, 29 May 2026 at 01:20, Roy J. Tellason, Sr. <[email protected]> wrote: > On Thursday 28 May 2026 07:02:45 am David wrote: > > Hi, the canonical user reference for Gnu Make is the Gnu Make Manual [1]. > Trying for that, I get "too many requests"... > I'll leave that tab open and try again after a while. The URL [1] I gave displays without any problem here, using the combination of: Debian 12 Firefox 140.11.0esr (64-bit) uBlock Origin 1.70.0 Or the same document is available at [4] in other formats, such as downloadable PDF. In case you are not aware, it is possible to search the web and discover this kind of thing for yourself. It's a useful skill. You can put a few relevant key words into a search engine and have a look through the results. The URL [4] is the first result for a google search for "gnu make manual". I mostly use https://www.startpage.com https://duckduckgo.com but there are many others, with different tradeoffs [5]. [1] https://www.gnu.org/software/make/manual/make.html [2] https://lists.gnu.org/mailman/listinfo/help-make [3] https://lists.gnu.org/archive/html/help-make/ [4] https://www.gnu.org/software/make/manual/ [5] https://en.wikipedia.org/wiki/List_of_search_engines