carta

texi2pdf(1) on Linux

The text 1f33c96497f2, as Debian 8 (Jessie) shipped it.

convert Texinfo documents to DVI or PDF

Flags it lists

texi2pdf(1) on Linux now