>>>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes: Paul> PS. I'm not sure why you cc'ed to mawk's author -- it's not his Paul> fault. :-) Apologies :( I just `man nawk' on my system, and did not realize it was mawk's man page. Sorry about this Mike.
