Re: makeinfo should quote 'like this' instead of `like this'

[Per Bothner]

On 01/23/2012 05:20 PM, Karl Berry wrote:
> Yes, fine.  But the question at hand is about the info/plaintext output
> for @file when enable-encoding is *not* set, and/or utf-8 is not
> specified,.  Up till now, makeinfo in all its forms has output `foo'.
> But I guess we have to now change to 'foo'.

A better alternative might be for makeinfo to create info files
containing the utf-8 directed quotes, and for the make program
(and emacs make mode) to translate depending on locale.

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.

[Most of you know my opinion in this matter: info as a *file* format
should be killed dead and replaced by some variant of [X]HTML.  I've been
saying this for 20 years, it seems.]
--
        --Per Bothner
address@hidden   http://per.bothner.com/