The texi2mdoc utility is a converter from Texinfo into mdoc. It is a standalone ISC-licensed ISO C utility and should compile on any modern UNIX system.
Contact Kristaps with questions, but please make sure any formatting issue hasn't already been covered in the manual.