Bug#660254: texlive-binaries: pdftex -output-format dvi is ignored

[Frank Küster <frank@debian.org>]

Bill Allombert <ballombe@debian.org> wrote:

> However 'pdftex -output-format dvi' actually produces a .pdf file.

Not here:

$ cat plaintest.tex
hallo
\bye
$ pdftex -output-format dvi plaintest.tex 
This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
entering extended mode
(./plaintest.tex [1] )
Output written on plaintest.dvi (1 page, 212 bytes).
Transcript written on plaintest.log.
$ pdftex -output-format pdf plaintest.tex 
This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian)
entering extended mode
(./plaintest.tex [1{/home/frank/.texmf-var/fonts/map/pdftex/updmap/pdftex.map}]
 )</usr/share/texmf-texlive/fonts/type1/public/amsfonts/cm/cmr10.pfb>
Output written on plaintest.pdf (1 page, 10731 bytes).
Transcript written on plaintest.log.

Regards, Frank


-- 
Frank Küster
Sprecher B90/Grüne OV Miltenberg und Umgebung
VCD Miltenberg, ADFC Aschaffenburg-Miltenberg
Debian Developer (TeXLive)