texi2dvi creates pdf instead of dvi files
Bug #1800424 reported by
PeterPall
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
texinfo (Ubuntu) |
New
|
Undecided
|
Unassigned |
Bug Description
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-
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)
To post a comment you must log in.