bug#3516: 23.0.94; function key names in Info

[Eli Zaretskii <eliz@gnu.org>]

> From: Lars Magne Ingebrigtsen <larsi@gnus.org>
> Date: Tue, 12 Jul 2011 14:47:09 +0200
> Cc: 3516@debbugs.gnu.org
> 
> "Drew Adams" <drew.adams@oracle.com> writes:
> 
> > We see things like <F1>, <F2>, <RET>, and <ESC> without single
> > quotes. Similarly, in other parts of the manual.
> >
> > Shouldn't those be `<f1>', `<f2>', `<RET>', and `<ESC>'?
> 
> That might be argued, but the difference you're seeing is the difference
> between these two markups:
> 
> @kbd{C-h}
> @key{F1}

Yes, that's true.  "@key{F1}" in Texinfo produces "<F1>" in Info,
without the single quotes.  In the printed output it produces
something resembling a keyboard key with a label on it.  Taking these
in quotes would be wrong, e.g. because then "@kbd{C-x @key{RET}}"
would produce `C-x `<RET>'' with nested quotes which looks ugly.