Re: AWKPATH and AWKLIBPATH: default values different from documentation (gawk 5.0.1)

[arnold]

"Jannick" <address@hidden> wrote:

> Last but not least, it could be helpful for the manual reader if it was
> outlined as to how the compile configuration impacts the default values of
> AWKPATH and AWKLIBPATH.

I will add a little text about this. I think most readers don't care
as they don't build gawk.

Thanks,

Arnold