texinfo

Back

texinfo is a software documenting tool. txi files can be converted into pdf or tex

Texinfo to pdf

texi2pdf -e document.texi