Convert DocBook documentation into man pages (mdoc)
