bug-gnu-emacs
[Top][All Lists]
Advanced

[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/





reply via email to

[Prev in Thread] Current Thread [Next in Thread]