diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2020-11-16 06:11:01 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-11-16 06:11:01 +0200 |
| commit | 54465496d75564ff37a1afac730c818fec9c7389 (patch) | |
| tree | 56c9c5459d36e357bfbf30c7cbf55c15a2eae79b /doc/gawk.texi | |
| parent | 1dbaf410e0b3ec754ee4ab78f861d4ef034e7962 (diff) | |
| download | egawk-54465496d75564ff37a1afac730c818fec9c7389.tar.gz egawk-54465496d75564ff37a1afac730c818fec9c7389.tar.bz2 egawk-54465496d75564ff37a1afac730c818fec9c7389.zip | |
Small doc fix.
Diffstat (limited to 'doc/gawk.texi')
| -rw-r--r-- | doc/gawk.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawk.texi b/doc/gawk.texi index 2a1e65c3..a7d7ff56 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -15507,7 +15507,7 @@ statement accomplishes this much more efficiently. In @command{gawk}, execution of @code{nextfile} causes additional things to happen: any @code{ENDFILE} rules are executed if @command{gawk} is -not currently in an @code{END} or @code{BEGINFILE} rule, @code{ARGIND} is +not currently in an @code{END} rule, @code{ARGIND} is incremented, and any @code{BEGINFILE} rules are executed. (@code{ARGIND} hasn't been introduced yet. @xref{Built-in Variables}.) |