Re: [bug-gawk] man page missing info on how ENDFILE behaves for empty files

[Ed Morton]

Just in case it's an oversight - I don't see it mentioned in 
http://www.gnu.org/software/gawk/manual/gawk.html#BEGINFILE_002fENDFILE yet.

    Ed.

On 9/24/2011 1:47 PM, Aharon Robbins wrote:
> Hi. Thanks for the report. This is now fixed.
>
> > Date: Wed, 24 Aug 2011 00:21:16 -0500
> > From: Ed Morton<address@hidden>
> > To: address@hidden
> > Subject: [bug-gawk] man page missing info on how ENDFILE behaves for empty
> >         files
> >
> > from comp.lang.awk:
> >
> > > On 8/23/2011 4:12 PM, Aharon Robbins wrote:
> > > > In article<address@hidden>,
> > > > Ed Morton<address@hidden>   wrote:
> > > > > Can anyone verify that ENDFILE gets hit for empty files? As far as I can tell
> > > > > that case isn't explicitly mentioned in the documentation
> > > > > (http://www.gnu.org/software/gawk/manual/gawk.html#BEGINFILE_002fENDFILE).
> > > > Yes, it does.
> > > >
> > > > Please email a bug report about this lack of doc to the bug reporting
> > > > address.
> > > >
> > > > Thanks,
> > > >
> > > > Arnold