s5src/src/mawk/man
