diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2018-02-16 13:15:47 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2018-02-16 13:15:47 +0200 |
| commit | 4d69f051413a8ef6e845bfa2b57640ef09f8ab62 (patch) | |
| tree | 92c84425774ab4f5ffecdad8cafe6c5aa046d4c1 | |
| parent | deae724e08b70da1504fa2147d1b12ef52634b8a (diff) | |
| parent | e5899a881d7b25ed2eeed1a6b8a047720eba20aa (diff) | |
| download | egawk-4d69f051413a8ef6e845bfa2b57640ef09f8ab62.tar.gz egawk-4d69f051413a8ef6e845bfa2b57640ef09f8ab62.tar.bz2 egawk-4d69f051413a8ef6e845bfa2b57640ef09f8ab62.zip | |
Merge branch 'master' into feature/fix-comments
| -rw-r--r-- | doc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/gawktexi.in | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index c921ff22..0e46d59e 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2018-02-16 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Fix NONFATAL stuff to cover input redirections too. + 2018-02-15 Arnold D. Robbins <arnold@skeeve.com> * gawk.1: Fix NONFATAL stuff to cover input redirections too. diff --git a/doc/gawktexi.in b/doc/gawktexi.in index b02b8502..c1172b82 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -15010,11 +15010,11 @@ The following elements allow you to change @command{gawk}'s behavior: @table @code @item PROCINFO["NONFATAL"] -If this element exists, then I/O errors for all output redirections become nonfatal. +If this element exists, then I/O errors for all redirections become nonfatal. @xref{Nonfatal}. @item PROCINFO["@var{output_name}", "NONFATAL"] -Make output errors for @var{output_name} be nonfatal. +Make I/O errors for @var{output_name} be nonfatal. @xref{Nonfatal}. @item PROCINFO["@var{command}", "pty"] |