Subject: Re: bug#16802: @w for long option names

From: [email-masked] (Karl Berry)
Date: Fri, 21 Feb 2014 01:23:50 GMT

Something like the attached patch?  

Exactly.  Thanks.

    It gets rid of most @kbd instances, too.

I don't think @kbd should ever be used with option names.
(Aside from actual examples of command lines being typed as input. :)

karl