diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:47 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:47 +0300 |
| commit | 9a4ad64b02119e0048f6f09b244a4372dbb998b5 (patch) | |
| tree | 9b0b073f5f522c560fbb4538a8d8d891f74ca903 /doc/gawktexi.in | |
| parent | d53cdebbadffcfdde43dfeb3ddb4a61975fc608c (diff) | |
| parent | 875f2de7fd309eed6096e2f51415aa3ea3666f27 (diff) | |
| download | egawk-9a4ad64b02119e0048f6f09b244a4372dbb998b5.tar.gz egawk-9a4ad64b02119e0048f6f09b244a4372dbb998b5.tar.bz2 egawk-9a4ad64b02119e0048f6f09b244a4372dbb998b5.zip | |
Merge branch 'gawk-5.0-stable'
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 80650513..850d4e18 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -54,9 +54,9 @@ @c applies to and all the info about who's publishing this edition @c These apply across the board. -@set UPDATE-MONTH March, 2019 +@set UPDATE-MONTH May, 2019 @set VERSION 5.0 -@set PATCHLEVEL 0 +@set PATCHLEVEL 1 @set GAWKINETTITLE TCP/IP Internetworking with @command{gawk} @ifset FOR_PRINT @@ -4025,6 +4025,8 @@ This may be drastic, but its use will certainly encourage the development of cleaner @command{awk} programs. With an optional argument of @samp{invalid}, only warnings about things that are actually invalid are issued. (This is not fully implemented yet.) +With an optional argument of @samp{no-ext}, warnings about @command{gawk} +extensions are disabled. Some warnings are only printed once, even if the dubious constructs they warn about occur multiple times in your @command{awk} program. Thus, |