Re: Conversion of ``quotes''

[Jesper Harder]

"Eli Zaretskii" <address@hidden> writes:

>> There's a small inconsistency in the way TeX-style ``quotes'' are
>> converted in Info files.
>> 
>> They are usually correctly converted to "quotes", but not in menu
>> comment lines.
>
> That's because menu lines are rendered with a fixed-size typeface.

Sorry, I don't understand.

Menu comment lines are rendered in exactly the same (fixed-width)
typeface as the body text in both the stand-alone Info reader and
Emacs.

My point is that a literal ``'' looks really ugly (except in certain
old broken X fonts).  So converting them to "" is clearly the right
thing, but this isn't done in menu lines.