1 files changed, 3 insertions, 0 deletions
diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index 3b46ef78..17100b6b 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -31438,11 +31438,14 @@ BEGIN @{
     if (! adequate_math_precision(fpbits)) @{
         print("Error: insufficient computation precision available.\n" \
               "Try again with the -M argument?") > "/dev/stderr"
+        # Note: you may need to set a flag here to bail out of END rules
         exit 1
     @}
 @}
 @end example
 
+Please be aware that @code{exit} will jump to the @code{END} rules, if present (@pxref{Exit Statement}).
+
 @node POSIX Floating Point Problems
 @section Standards Versus Existing Practice