make-stds.texi manual feedback

make-stds.texi manual feedback

[David Apps]

I hope that you are well.

Thank you for your work on this great software and its documentation.

I have some minor feedback about the document at the following address:

http://www.gnu.org/software/make/manual/make.html

I believe that my feedback concerns text in the make-stds.texi file.

> 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".

Thank you.

David

Re: make-stds.texi manual feedback

[Bruno Haible]

Hi,

David Apps wrote:
> I believe that my feedback concerns text in the make-stds.texi file.

As mentioned at the top of this file, it is included in both the
GNU Make manual and the GNU Coding Standards. Therefore the right
mailing list for reporting these is bug-standards
<https://lists.gnu.org/mailman/listinfo/bug-standards>.

> > 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".

Personally I think that the text is well readable as is, and does not
risk confusion. It is perfectly OK to have additional words in a text
that simply make it more fluid to read, and to avoid repetition of
conditions that are implicit from context.

Bruno