carta

texi2dvi(1) on Linux

The text dda9bb4d0cc6, as Debian 9 (Stretch) shipped it.

convert Texinfo documents to DVI or PDF

Flags it lists

texi2dvi(1) on Linux now