texinfo Back texinfo is a software documenting tool. txi files can be converted into pdf or tex Texinfo to pdf texi2pdf -e document.texi