On Tue, 2014-12-30 at 23:03 +0000, Karl Berry wrote: > -# Where to put the executable for the command `gcc'. > +# Where to put the executable for the command 'gcc'. > > Ok, I changed it. > > The patch is to make-stds.texi file, so GNU Make should be updated > > I trust that Paul (the make maintainer) checks for updates to > make-stds.texi when he makes a release (if not earlier). That part is > up to him.
This file is not copied into the GNU make source control repo. The GNU make "build from Git" process will automatically download the current latest versions of these files (also translation files, fdl.texi, texinfo,tex, config.guess, etc.) every time GNU make is set up from Git. So in short, yes, this change will automatically be included in the next release. Thanks!
