carta

texi2pdf(1) on Linux

The text a82ff58253a7, as Debian 11 (Bullseye) shipped it.

convert Texinfo documents to DVI or PDF

Flags it lists

texi2pdf(1) on Linux now