[nmz]

mawk also has a nice and short manual. since GNU decided to make its money selling books, their manuals are usually huge and that's by design.