Public bug reported:

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)

** Affects: texinfo (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: amd64 apport-bug cosmic

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to texinfo in Ubuntu.
https://bugs.launchpad.net/bugs/1800424

Title:
  texi2dvi creates pdf instead of dvi files

Status in texinfo package in Ubuntu:
  New

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-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)

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/texinfo/+bug/1800424/+subscriptions

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to     : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp

Reply via email to