pdftexi2dvi(1) on Linux
The text dda9bb4d0cc6, as Debian 9 (Stretch) shipped it.
convert Texinfo documents to DVI or PDF
Flags it lists
-
--batch -
--build -
--build-dir -
--clean -
--command -
--debug -
--dvi -
--dvipdf -
--expand -
--help -
--html -
--info -
--language -
--max-iterations -
--mostly-clean -
--no-line-error -
--output -
--pdf -
--ps -
--quiet -
--shell-escape -
--src-specials -
--text -
--tidy -
--translate-file -
--verbose -
--version -
-D -
-E -
-I -
-V -
-b -
-c -
-h -
-l -
-o -
-p -
-q -
-t -
-v