Addition to: 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:
> 

I think it was obvious that my applied patch was not sufficient.
It would remove the string but there would be two Caution:'s. This one
is the correct one:

--- gawk.texi.orig      2003-12-28 16:31:07.217934552 +0100
+++ gawk.texi   2003-12-28 16:32:23.704306856 +0100
@@ -3755,8 +3755,7 @@
 This sets @code{digits_regexp} to a regexp that describes one or more digits,
 and tests whether the input record matches this regexp.
 
address@hidden @strong{Caution:}
-When using the @samp{~} and @samp{!~}
address@hidden
 @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