> Some old styles or texinfo.tex in the local directory may > include only a check if \pdfoutput is defined but not > if the value is any other than `0' and switch the > pdf capability on.
Yes. Karl Berry has fixed this some time ago and teTeX-3.0 contains a good version of texinfo.tex. Unfortunately, several software packages come along with their own (obsolete) copy of texinfo.tex. If some texi2dvi run results in a pdf file (instead of dvi), it usually helps just to remove the obsolete copy of texinfo.tex and to rerun texi2dvi. Thomas
