gecko-dev/db/dist/man.error/pub.awk