Re: [gnu-prog-discuss] U+2018 symbol U+2019

[Patrice Dumas]

On Fri, Nov 25, 2011 at 03:25:03PM +0100, Paolo Bonzini wrote:

> >Although Unicode offers a great many quote pairs to choose from,[0]
> >IMHO U+2018 and U+2019 are closest to the original spirit.
> 
> I think it would be great if Texinfo did it in info files.

So, I propose to use U+2018 and U+2019 for @code, @file... quotes
in Info when
 @documentencoding utf-8
is set and --disable-encoding is not set, consistently with -- 
--- and `` and '' being turned to Unicode and utf8.

Any objection?

-- 
Pat