[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#3503: 23.0.94; Emacs manual, main menu typo
From: |
Lars Magne Ingebrigtsen |
Subject: |
bug#3503: 23.0.94; Emacs manual, main menu typo |
Date: |
Mon, 11 Jul 2011 22:50:58 +0200 |
User-agent: |
Gnus/5.110018 (No Gnus v0.18) Emacs/24.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Normally, when the Info output is produced from Texinfo sources,
> `makeinfo' converts ``...'' into "...", while in the printed output, TeX
> converts that into “...”. This is why one normally should use ``...''
> in Texinfo, not "...". But in menus, which are only visible in the
> Info output, this conversion is evidently not done, so ``...'' stays
> unchanged, which is not what we want.
I see. I'll fix the three ``...'' entries in the menus in emacs.texi.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog http://lars.ingebrigtsen.no/