Re: Translation of single quotes in doc strings is now optional.

[Artur Malabarba]

>  A simple approach would be to extend 'format' via
> a ` flag, so that we can replace (format "Rename `%s' to `%s'" old new) with
> (format "Rename %`s to %`s" old new) to get customizable quotes, but this
> would entail changing several format calls in the source and I am trying to
> think of something less intrusive.
>

How about defining a new function, `format-and-quote-translate', which
converts all `' in the format-string to round quotes if desired?
We would still have to go through the source and edit many `format'
calls, but simply renaming the function is easier than editing the
format-strings.