bug#16292: 24.3.50; info docs now contain single straight quotes instead of `'

[Stefan Monnier]

>> Isn't there a way other than modifying the file to tell Texinfo that
>> the encoding is utf-8?
> No, not if you want makeinfo to put the 'coding' cookie in the file
> local variables section of the Info file it produces.

But that's OK: the `coding' cookie should also be unnecessary for utf-8.

> @documentencoding is the way.

> If so, we should at least fix the handful of manuals that already use
> "@documentencoding utf-8", or use non-ASCII characters without any
> @documentencoding, thus producing Info files that might display
> incorrectly in certain locales.

That's not a new problem and people haven't complained about it, AFAICT,
so I'd rather not touch it.


        Stefan