A highly customizable texinfo to HTML and other formats translator - View it on GitHub