[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Patrice Dumas
Subject: Re: [gnu-prog-discuss] U+2018 symbol U+2019
Date: Sat, 3 Dec 2011 21:03:15 +0100
User-agent: Mutt/

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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]