carta

texi2pdf(1) on Linux

The text f154f697af4e, as Debian 10 (Buster) shipped it.

convert Texinfo documents to DVI or PDF

Flags it lists

texi2pdf(1) on Linux now