texi2dvi creates pdf instead of dvi files

[PeterPall]

Just grab a .texi file and do a

   texi2dvi <filename.texi>

texi2dvi will call pdflatex instead of latex and will therefore create an pdf, not a dvi file.

Why this is bad?

Every autoconf-based program offers a

   make distcheck

target that - if any texinfo documentation is present - will call texi2dvi and will abort with an error message if no .dvi file is generated.

ProblemType: Bug
DistroRelease: Ubuntu 18.10
Package: texinfo 6.5.0.dfsg.1-4
Uname: Linux 4.18.1-041801-lowlatency x86_64
ApportVersion: 2.20.10-0ubuntu13
Architecture: amd64
Date: Mon Oct 29 07:50:57 2018
SourcePackage: texinfo
UpgradeStatus: No upgrade log present (probably fresh install)