[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/1.4.2.2i |
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
- Re: [gnu-prog-discuss] U+2018 symbol U+2019,
Patrice Dumas <=