> Well, is there a version of texi2dvi already which uses texi2html for
> expanding macros?
I tried to set
MAKEINFO="texi2html --iftex" texi2pdf -E ...
(the option `--iftex' is passed so that texi2html handles the @iftex
blocks of all included files also), but this fails with
missing file argument
Apparently, texi2html can't act as a filter. Looks like a bug...
BTW, the output of `texi2html --help' is extremely strange and doesn't
look like any other --help output of GNU programs. Additionally,
short options like `-I foo' or `-o foo' aren't documented.
Werner