Re: [help-texinfo] texinfo ??? html @key and @kbd

[Jean-Christophe Helary]

On Jun 8, 2017, at 2:56, Gavin Smith <address@hidden> wrote:

On Wed, Jun 07, 2017 at 11:57:45PM +0900, Jean-Christophe Helary wrote:

I'm working on a CSS for the emacs related HTML manuals and I see that the @key{ } macro and the @kbd{ } macros are not converted the same way:

@key{...} generates &lt;...&gt;
while
@kbd{...} generates <kbd>...</kbd>

for ex:

Well, I just tried it and the output was different.  @key{...} generated
<tt class="key">...</tt> and <span class="key">...</span> if it is in a
code-like environment like @code.  @kbd generates <kbd> as you say.  
What version of Texinfo are you using?  (I tried it with the latest
development version.)

Sorry to get back to you so late.

Indeed, my version of texinfo must have been old. Now I do get <tt class="key">Ctrl</tt> as you describe.

Jean-Christophe Helary
-----------------------------------------------
http://mac4translators.blogspot.com @brandelune