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/gawktexi.in | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'doc/gawktexi.in')

diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 75589073..be6f143d 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -4253,7 +4253,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