Merge branch 'gawk-5.1-stable'

1 files changed, 11 insertions, 0 deletions

diff --git a/doc/gawktexi.in b/doc/gawktexi.in
index cafc5d68..58aba431 100644
--- a/doc/gawktexi.in
+++ b/doc/gawktexi.in
@@ -11331,6 +11331,17 @@ can be used with @samp{~} and @samp{!~}, passed to one of the built-in functions
 listed above, or passed as a parameter to a user-defined function.
 @end itemize
 
+You may use the @option{-v} option (@pxref{Options}) to assign a
+strongly-typed regexp constant to a variable on the command line, like so:
+
+@example
+gawk -v pattern='@@/something(interesting)+/' @dots{}
+@end example
+
+@noindent
+You may also make such assignments as regular command-line arguments
+(@pxref{Other Arguments}).
+
 You may use the @code{typeof()} built-in function
 (@pxref{Type Functions})
 to determine if a variable or function parameter is