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
