Re: [Emacs-diffs] emacs-25 26b56dc: Fix some single quotes in documentation

[Dmitry Gutov]

On 03/14/2016 08:32 PM, Paul Eggert wrote:

> I can follow up and nag people for a while, sure. It's not a big deal.

Nagging people is not what I had in mind.

> To make things easier we could install the attached patch, so that
> people can continue to type ` and ' like they're used to, when editing
> etc/NEWS.

The basic idea seems fine. If we agree to go back to using `', we can 
use an `eval' block to add two font-lock rules, to render the quotes in 
a curly fashion when viewer in Emacs.

> Alternatively we could revert commit
> 4235d2d9eaa3b64d3172f6c60f1e71704795af89 and go back to straight quoting
> 'like this' in etc/NEWS, as was done after my first patch today. That
> would be adequate too, even though (as John said) it is less consistent
> with the rest of the documentation.

Consistent with what? Post-rendered .info files?

> The main point is that grave quoting
> `like this' is not right in user-facing documentation.

Where do we show it to the users, aside from inside Emacs?