Package: texlive-binaries Version: 2009-11 Severity: normal Hello Debian TeX Maintainers, pdftex man page say: -output-format format Set the output format mode, where format must be either pdf or dvi. This also influences the set of graphics formats understood by pdfTeX. However 'pdftex -output-format dvi' actually produces a .pdf file. Cheers, -- Bill. <ballombe@debian.org> Imagine a large red swirl here.