Subject: bug#22636: tab characters in documentation

From: Assaf Gordon <[email-masked]>
Date: Fri, 12 Oct 2018 11:50:43 -0600

tags 22636 fixed
close 22636
stop

Hello,

On 09/10/18 06:03 AM, Assaf Gordon wrote:
> 
>> On Thu, Feb 11, 2016 at 11:22:25PM +0000, Clint Adams wrote:
>>> The way @kbd{tab} is getting rendered in the Info and HTML 
>>> documentation is confusing some users,
> 
> I suggest the following patch (in your name) to add @key{TAB} but
> also keep the existing @kbd{}.
> 

Pushed here:
https://git.savannah.gnu.org/cgit/sed.git/commit/?id=8e52c0aff039f0a88127ca131b060050c107b0e2

regards,
  - assaf