Re: When should we put @key inside @kbd?

[Eli Zaretskii]

> From: Michael Albinus <address@hidden>
> Cc: address@hidden,  address@hidden,  address@hidden,  address@hidden
> Date: Wed, 07 Mar 2018 14:21:03 +0100
> 
> My point is how to mark non-printable characters like ESC (not keyboard
> keys to be pressed) properly in texinfo. The current practice to mark
> them like @key{ESC} looks OK to me, but it is not documented.

Actually, it is wrong to use @key when you mean ESC the character, you
should use just ESC.  @key is solely when referring to a key by its
label.