[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