src/tools/mandoc