From 875f2de7fd309eed6096e2f51415aa3ea3666f27 Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Wed, 22 May 2019 20:59:05 +0300
Subject: Add --lint=no-ext to disable "xxx is a gawk extension" warnings.

---
 doc/gawk.1 | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'doc/gawk.1')

diff --git a/doc/gawk.1 b/doc/gawk.1
index f24e62a7..de613aa9 100644
--- a/doc/gawk.1
+++ b/doc/gawk.1
@@ -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
-- 
cgit v1.2.3