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.
