Re: texi2pdf vs texi2dvi --pdf

[Karl Berry]

    Package thumbpdf Warning: Missing driver name.

I didn't look, but I doubt texi2dvi actually "works" with thumbpdf,
given the name.  DVI ... PDF ... not the same thing :).

    Package thumbpdf Warning: Compressed PDF objects of PDF 1.5 are not
    supported.

Well, this seems clear enough.  thumbpdf.sty is not part of Texinfo,
as you know ...

I surmise it is related to us (that's TL "us", rather than Texinfo "us" :)
switching the default PDF output version to 1.5 in TL 2010, remember?
>From pdftexconfig.tex:

% As of TeX Live 2010, we output PDF 1.5 by default, so we can enable
% more compression.  To change this for the installation, comment out or
% delete these lines and remake the formats.  To change it for a
% particular LaTeX document, \RequirePackage{pdf14} early.
% 
\pdfminorversion=5
\pdfobjcompresslevel=2

I don't know what we can do.  I hope Heiko has an idea.

karl