From 54465496d75564ff37a1afac730c818fec9c7389 Mon Sep 17 00:00:00 2001 From: "Arnold D. Robbins" Date: Mon, 16 Nov 2020 06:11:01 +0200 Subject: Small doc fix. --- doc/gawktexi.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/gawktexi.in') diff --git a/doc/gawktexi.in b/doc/gawktexi.in index e733c4ec..2a25c1d0 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -14778,7 +14778,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}.) -- cgit v1.2.3