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: Errors in man pages of make

2022-02-06 Thread Paul Smith
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 do include the release of GNU make that you're looking at when you submit changes