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
