src/tools/mandoc
