Re: [PATCH] Quote 'like this', not `like this'.

2023-06-23 Thread Dmitry V. Levin
On Fri, Jun 23, 2023 at 09:55:10AM -0700, Paul Eggert wrote: > In 2012 the GNU Coding Standards changed to recommend quoting > 'like this' or "like this" instead of `like this'. > Alter diagnostics and comments accordingly. > Use a more-consistent quoting style in config.sub diagnostics, > preferri

[PATCH] Quote 'like this', not `like this'.

2023-06-23 Thread Paul Eggert
In 2012 the GNU Coding Standards changed to recommend quoting 'like this' or "like this" instead of `like this'. Alter diagnostics and comments accordingly. Use a more-consistent quoting style in config.sub diagnostics, preferring 'like this' to "like this" as the former is more resistant to shell