Re: minor problems gawk 3.1.2 (linux)

[Aharon Robbins]

Hi. Re this:

> From: "John Leadeham" <address@hidden>
> To: <address@hidden>
> Subject: minor problems gawk 3.1.2 (linux)
> Date: Thu, 27 Mar 2003 10:09:04 -0000
>
> 1) The version number in README needs to be updated.

Thanks.  It'll be right for 3.1.3. :-)

> 2) pgawk.1 should source man1/gawk.1 rather than just gawk.1.

This works for me as is under RH 8.0, installing into /usr/local/man
and with

/usr/man:/usr/share/man:/usr/X11R6/man:/usr/local/man:/usr/local/icon/man

for my MANPATH.

I was hoping to avoid jumping through the hoops to link gawk.1 to pgawk.1,
but will probably end up doing that for 3.1.3.

Thanks,

Arnold