📦 texinfo-tex

P

• pdftexi2dvi(1)convert Texinfo documents to DVI or PDF✨

T

• texi2dvi(1)convert Texinfo documents to DVI or PDF✨
• texi2pdf(1)convert Texinfo documents to DVI or PDF✨
• texindex(1)sort Texinfo index files✨