Re: Errors in man pages of make

2022-02-07 Thread Helge Kreutzmann
Hello Paul, On Mon, Feb 07, 2022 at 12:48:56PM -0500, Paul Smith wrote: > On Mon, 2022-02-07 at 18:18 +0100, Helge Kreutzmann wrote: > > > This channel is fine, but please always do include the release of > > > GNU make that you're looking at when you submit changes (run "make > > > --version"). >

Re: Errors in man pages of make

2022-02-07 Thread Helge Kreutzmann
Hello Paul, On Sun, Feb 06, 2022 at 05:52:45PM -0500, Paul Smith wrote: > On Sat, 2022-02-05 at 11:24 +0100, Helge Kreutzmann wrote: > > I'm now reporting the errors for your project. If future reports > > should use another channel, please let me know. > > This channel is fine, but please always

Re: Errors in man pages of make

2022-02-07 Thread Paul Smith
On Mon, 2022-02-07 at 18:18 +0100, Helge Kreutzmann wrote: > > This channel is fine, but please always do include the release of > > GNU make that you're looking at when you submit changes (run "make > > --version"). > > This I don't know. I receive the man pages from Fedora, SUSE, > Archlinux, De

Re: Idea of triggering bugs in users' Makefiles

2022-02-07 Thread Edward Welbourne
David A. Wheeler (4 February 2022 17:43) wrote: > For example: When running each recipe, enable tracing > to note when files are opened for reading/writing. > If a recipe opens a file for reading (or presence?), and > that file isn't listed as a dependency but SHOULD be, warn about it. > E.g., "War