bug-gawk
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [bug-gawk] awk_ext_id_t inconsistency


From: arnold
Subject: Re: [bug-gawk] awk_ext_id_t inconsistency
Date: Fri, 12 Jan 2018 04:36:50 -0700
User-agent: Heirloom mailx 12.4 7/29/08

"Andrew J. Schorr" <address@hidden> wrote:

> Hi,
>
> On Thu, Jan 11, 2018 at 09:55:46PM +0200, Arnold Robbins wrote:
> > I have fixed this and will push it out to the repo. Much thanks
> > for the report and discussion.
>
> Thanks for cleaning this up. I think you may have missed a few spots:
>
> bash-4.2$ git grep -n 'awk_ext_id_t *\*' | cat -
> doc/it/gawktexi.in:36716:static awk_ext_id_t *ext_id;
> doc/it/gawktexi.in:37487:static awk_ext_id_t *ext_id;
> gawkapi.h:950:             awk_ext_id_t *ext_id,        /* ditto */
> gawkapi.h:980:        awk_ext_id_t *ext_id,     /* ditto */
>
> Regards,
> Andy

OK, fixed the gawkapi.h ones. I'll apply Antonio's update to the
Italian manual too.

Arnold



reply via email to

[Prev in Thread] Current Thread [Next in Thread]