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