diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
| commit | 875f2de7fd309eed6096e2f51415aa3ea3666f27 (patch) | |
| tree | 9b0b073f5f522c560fbb4538a8d8d891f74ca903 /doc/gawk.1 | |
| parent | 990649951e7fa34ae589a19ac686ffcc655d584b (diff) | |
| download | gawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.gz | |
Add --lint=no-ext to disable "xxx is a gawk extension" warnings.
Diffstat (limited to 'doc/gawk.1')
| -rw-r--r-- | doc/gawk.1 | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -13,7 +13,7 @@ . if \w'\(rq' .ds rq "\(rq . \} .\} -.TH GAWK 1 "Feb 19 2019" "Free Software Foundation" "Utility Commands" +.TH GAWK 1 "May 22 2019" "Free Software Foundation" "Utility Commands" .SH NAME gawk \- pattern scanning and processing language .SH SYNOPSIS @@ -354,6 +354,11 @@ With an optional argument of .BR invalid , only warnings about things that are actually invalid are issued. (This is not fully implemented yet.) +With an optional argument of +.BR no-ext , +warnings about +.I gawk +extensions are disabled. .TP .PD 0 .B \-M |