On Sat, Apr 04, 2015 at 07:21:57PM +0200, Joachim Henke wrote: > there is a small typo in awk.1 which confused me at the first look. > Please have a look at the attached patch. That way it's more in line > with the gawk documentation. Fixed, thank you! Thomas