> BTW, how do I get texi2dvi to run pdftex.


Found it, burried in the output from ``texi2dvi --help''.
How is the attached?

Andrew