[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: Paul Eggert
Subject: Re: makeinfo should quote 'like this' instead of `like this'
Date: Mon, 23 Jan 2012 14:57:59 -0800
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:8.0) Gecko/20111115 Thunderbird/8.0

On 01/23/2012 02:25 PM, Karl Berry wrote:

> To go all the way, makeinfo would have to change an input ASCII ` to an
> output ASCII ', when just regular text is `quoted'.

Yes, that sounds right.  And as Eric Blake pointed out in
makeinfo should output curly single quotes when generating UTF-8
output, so presumably an input `hello' would turn to 'hello' if the
output is ASCII, ‘hello’ if the output is UTF-8.

If someone really wants ASCII accent grave in ordinary text, I assume
@`{} would continue to generate it, just as it does now.

Possibly some users might prefer the old style `hello', and I think
Stefan Monnier prefers using U+201B SINGLE HIGH-REVERSED-9 QUOTATION
for the opening quote ‛like this’, so it may be helpful to have an
option that lets one specify these two alternatives.

> If you meant you would hack the new Perl tp/ code, that's a
> different story

Ah, sorry, I didn't know that the tp/ code was now the mainline.
It'd be more efficient for a Perl expert to look at that one;
I haven't been a serious Perl hacker for quite some time.

reply via email to

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