tools: convert man pages from man format to mdoc format