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

[Karl Berry]

Paul -- I dislike copying two big lists, so I'm just going to reply
here.

I am of course fully aware of the coding standards change.
I agree that @file and the like might as well generate '...' now in
Info/plaintext output, given the mandated change.  Patrice, wdyt?

To go all the way, makeinfo would have to change an input ASCII ` to an
output ASCII ', when just regular text is `quoted'.  That just seems so
bizarre to me.  I cannot argue that there is any other way to be
"compliant", though.  Sigh.

    like, I can try to code up a patch along these lines.

Since C makeinfo has been abandoned, there is no use in doing anything
with it.  (If you meant you would hack the new Perl tp/ code, that's a
different story, but I suspect changing @file/etc. will be trivial for
Patrice.  Even I could probably manage it. :)

Best,
karl