-# 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.
Karl
