[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Conversion of ``quotes''
|
From: |
Jesper Harder |
|
Subject: |
Conversion of ``quotes'' |
|
Date: |
Mon, 12 May 2003 00:08:26 +0200 |
|
User-agent: |
Gnus/5.1002 (Gnus v5.10.2) Emacs/21.3.50 (gnu/linux) |
Hi!
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.
For example:
@menu
* Foo:: ``foo''.
@end menu
This is ``foo''.
is converted to:
* Menu:
* Foo:: ``foo''.
This is "foo".
(makeinfo version 4.5).
--
Cheers,
Jesper Harder
- Conversion of ``quotes'',
Jesper Harder <=