diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2020-11-16 06:15:50 +0200 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-11-16 06:15:50 +0200 |
commit | eabd0e4c1a72da3d164d0c0a8c335d583c6f698d (patch) | |
tree | 58dcd60ab076790c428ca2069073c3470f330aaf /doc/gawktexi.in | |
parent | 6d1274d1d0c9b2f0feb109876c7c250951035a3c (diff) | |
parent | 476b183d4f70a098aae0943a16ead5b59ffe6e4b (diff) | |
download | egawk-eabd0e4c1a72da3d164d0c0a8c335d583c6f698d.tar.gz egawk-eabd0e4c1a72da3d164d0c0a8c335d583c6f698d.tar.bz2 egawk-eabd0e4c1a72da3d164d0c0a8c335d583c6f698d.zip |
Merge branch 'master' into feature/cmp_scalars
Diffstat (limited to 'doc/gawktexi.in')
-rw-r--r-- | doc/gawktexi.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 1822bc0b..8b35bf32 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -14780,7 +14780,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}.) |