The bug description is simple: `texi2dvi -E' doesn't apply
$comment_iftex to included files.
However, a `natural' fix (which expands all @include'd files) within
texi2dvi is very hard to implement (and I doubt whether this is
desirable at all); I can thus imagine the following new texi2dvi
option:
-P foo
--preprocess-file=foo
Preprocess file FOO before running TeX. This is useful for large
texinfo documents where @tex and @iftex blocks (which texi2dvi has
to handle specially before calling `makeinfo -E') are not in the
main file but @include'd.
The ideal fix of course is to get rid of the `sed' kludge in texi2dvi,
perhaps by adding an option `--only-ifformat' to makeinfo, limiting
the effect of any `--ifFORMAT' command line option so that only
@ifFORMAT is handled and @FORMAT is ignored.
An alternative (and perhaps easier to implement) is to make option
`-E' act as my proposed --only-ifformat option. However, this is not
backwards compatible...
I'm willing to implement this (since we will need this for
lilypond :-). Please comment which option is the preferred one.
Werner
