src/share/man/tools