bug#3503: 23.0.94; Emacs manual, main menu typo

[Eli Zaretskii]

> From: "Drew Adams" <drew.adams@oracle.com>
> Cc: <3503@debbugs.gnu.org>, "'Eli Zaretskii'" <eliz@gnu.org>
> Date: Mon, 11 Jul 2011 10:04:41 -0700
> 
> Lars> I think this looks OK the way it is.
> Lars> It's introducing a concept that most newbies won't
> Lars> be familiar with.
> 
> There is never any purpose in using double single quotes this way in the 
> manual,
> AFAICT.  
> 
> Maybe Eli will correct me.  If Eli checks this and he agrees with you, then 
> I'm
> OK with it.  Otherwise, I maintain that it is not helpful to use ``...'' in 
> the
> manual.

Drew is right, the Info output should not use ``..'' quoting here.

Let me explain.

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.

You will see further down the main menu that "..." is used correctly.

Bottom line: the ``region'' thing (and ``edit'') should be changed to
use "..."  quoting.