From 375698fca45bff1b88c6e115e433a77c04399b5c Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Mon, 5 Oct 2020 14:31:45 +0300
Subject: Small doc edit.

---
 doc/gawk.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/gawk.texi')

diff --git a/doc/gawk.texi b/doc/gawk.texi
index 08b30ee6..90f90286 100644
--- a/doc/gawk.texi
+++ b/doc/gawk.texi
@@ -4343,7 +4343,8 @@ Any command-line arguments following @code{--} are placed in @code{ARGV},
 even if they start with a minus sign.
 @end table
 
-As long as program text has been supplied,
+In compatibility mode,
+as long as program text has been supplied,
 any other options are flagged as invalid with a warning message but
 are otherwise ignored.
 
-- 
cgit v1.2.3