Re: @key broken

[Werner LEMBERG]

>     > Why not using <RET> for @key{RET} in the PDF too?
> 
>     I don't know.  There is a commented-out version with angle
>     brackets,
> 
> It's an enclosed lozenge, not just angle brackets.

I don't like the lozenge very much.

> If you want the lozenges, perhaps we should make a Texinfo option,
> along the lines of kbdinputstyle.  keystyle {plain,lozenge} or some
> such.  Personally I think they're distracting rather than useful.

I suggest

  \<CR>

instead.


    Werner