Text duplication in gawk.texi (gawk-3.1.3)

[Tobias Stöckmann]

There is a duplication of the string "When using the `~' and `!~'" in
line 3759 of gawk.texi found in gawk-3.1.3.

If this problem is already addressed and fixed for a later version,
I apologize for reapplying to that issue.

A patch to correct the mistake is attached:

--- gawk.texi.orig      2003-12-27 15:26:03.334407120 +0100
+++ gawk.texi   2003-12-27 15:26:09.052537832 +0100
@@ -3756,7 +3756,6 @@
 and tests whether the input record matches this regexp.
 
 @c @strong{Caution:}
-When using the @samp{~} and @samp{!~}
 @strong{Caution:} When using the @samp{~} and @samp{!~}
 operators, there is a difference between a regexp constant
 enclosed in slashes and a string constant enclosed in double quotes.

----------
______________________________________________________________________________
UNICEF bringt Kriegskinder in die Schule - helfen Sie mit! 
https://www.unicef.de/spe/spe_03.php