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

From:

Drew Adams

Subject:

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

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.
I am not the expert on the formatting conventions for our manuals, but this
seems odd to me.