Ed Morton <address@hidden> wrote:
Arnold - that definition is absolutely fine, I apparently missed it when
I was looking for it the other day.
If you look at node "gawk-Specific Regexp Operators"
(https://www.gnu.org/software/gawk/manual/gawk.html#GNU-Regexp-Operators),
though, it says:
\s???? Matches any whitespace character. Think of it as shorthand for
???[[:space:]]???.
which seems to pretty clearly be saying that whitespace means
[[:space:]] ...
Thanks for pointing that out. I have changed this text.
Arnold