[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: makeinfo should quote 'like this' instead of `like this'
From: |
Patrice Dumas |
Subject: |
Re: makeinfo should quote 'like this' instead of `like this' |
Date: |
Wed, 25 Jan 2012 14:26:59 +0100 |
User-agent: |
Mutt/1.4.2.2i |
On Mon, Jan 23, 2012 at 05:46:32PM -0800, Per Bothner wrote:
>
> A related question: how does/should makeinfo+info handle non-ascii
> characters in the source? For example if I'm writing documentation
> in Norwegian. Is the info output supposed to be locale-specific?
> That seems in principle wrong, though in practice we may be stuck.
In addition to the encoding issue, some strings output in Info files
are locale-dependent, using @documentlanguage (there are only
few of such strings). The Info language itself is not locale-dependent.
As a side note, I would say that there is a bias towards english
based text files formatting in the Info format definition. Indeed,
using
* node::
for menu has certainly some roots in english typography, in french
it would have been
- node::
and the Info format is implicitly left to right top to bottom...
--
Pat
- Re: makeinfo should quote 'like this' instead of `like this', (continued)
- Re: makeinfo should quote 'like this' instead of `like this', Paul Eggert, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Per Bothner, 2012/01/23
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/24
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/26
- Re: makeinfo should quote 'like this' instead of `like this', Per Bothner, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this',
Patrice Dumas <=
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', Eli Zaretskii, 2012/01/25
- Re: makeinfo should quote 'like this' instead of `like this', John Darrington, 2012/01/24
- Re: makeinfo should quote 'like this' instead of `like this', Karl Berry, 2012/01/24
- Re: makeinfo should quote 'like this' instead of `like this', Patrice Dumas, 2012/01/24