Mathieu Roy <yeupou@gnu.org> writes: > It proves that the user interface of gawk is more friendly, nothing > more. Yeah; the thing about mawk is that it's a great little program, fairly robust and wicked fast -- much faster than gawk for things I do -- but the last time I checked, it hadn't really been maintained for years and years. -Miles -- `The suburb is an obsolete and contradictory form of human settlement'