diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2020-11-16 14:36:03 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2020-11-16 14:36:03 +0200 |
| commit | c190cc7b72f9a0eea27b3455e011c2244d8d337a (patch) | |
| tree | 2d1e73422d90a092b8393c16d10efeead7618529 /doc/gawktexi.in | |
| parent | 7d76cb815e02b1ef7bfa640975395935fccb71f8 (diff) | |
| parent | d04f08bb8474e44417e739c7a03fb9690a9e22d8 (diff) | |
| download | egawk-c190cc7b72f9a0eea27b3455e011c2244d8d337a.tar.gz egawk-c190cc7b72f9a0eea27b3455e011c2244d8d337a.tar.bz2 egawk-c190cc7b72f9a0eea27b3455e011c2244d8d337a.zip | |
Merge branch 'gawk-5.1-stable'
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 2c2b12ec..04e16468 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -14784,9 +14784,10 @@ 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}.) -With @command{gawk}, @code{nextfile} is useful inside a @code{BEGINFILE} +There is an additional, special, use case +with @command{gawk}. @code{nextfile} is useful inside a @code{BEGINFILE} rule to skip over a file that would otherwise cause @command{gawk} -to exit with a fatal error. In this case, @code{ENDFILE} rules are not +to exit with a fatal error. In this special case, @code{ENDFILE} rules are not executed. @xref{BEGINFILE/ENDFILE}. Although it might seem that @samp{close(FILENAME)} would accomplish |