Re: make manual feedback

[Paul Smith]

On Mon, 2024-01-22 at 21:16 +0000, David Apps wrote:
> I have some feedback about the document at the following address:

Thanks for your feedback.

I applied all these changes, or some form of them, except:

> > Do not install executables here in this directory
> 
> Perhaps delete "here".
> 
> > Also do not install files that are modified in the normal course of
> their use
> 
> Perhaps change "install files" to "install in this directory any
> files".

These changes need to be made in the make-stds.texi file which is
distributed by the gnulib project.

You can reach them at bug-gnulib@gnu.org

Cheers!

-- 
Paul D. Smith <psmith@gnu.org>            Find some GNU make tips at:
https://www.gnu.org                       http://make.mad-scientist.net
"Please remain calm...I may be mad, but I am a professional." --Mad
Scientist