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

[Ed Morton]

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