[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Conversion of ``quotes''
|
From: |
Eli Zaretskii |
|
Subject: |
Re: Conversion of ``quotes'' |
|
Date: |
Mon, 12 May 2003 06:31:17 +0300 |
> From: Jesper Harder <address@hidden>
> Date: Mon, 12 May 2003 00:08:26 +0200
>
> 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.