Convert texinfo documentation (texi) into man pages (mdoc)
