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

[Paul Eggert]

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
<http://lists.gnu.org/archive/html/bug-gnulib/2012-01/msg00299.html>,
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.