On Thu, 22 Dec 2011, Paul Eggert wrote: > * When printed in PDF form, ` is printed as > open single quote even though the text is talking about the ASCII > accent-grave, which makes things pretty confusing.
It appears that using @set txicodequoteundirected and @set txicodequotebacktick would be the way to avoid this confusion, though it would require Texinfo 4.11 or later. -- Joseph S. Myers [email protected]
