> > . texi2html's option -E suppresses creation of the default output > > file. Since texi2html shall replace makeinfo completely, it > > should rather produce the output file instead for compatibility. > > That's a weird behaviour, in my opinion, but I'll do it nevertheless > (with a configuration variable to be able to turn one or the other).
Just to avoid confusion: `makeinfo -E foo.expanded foo.texinfo'
produces both `foo.expanded' and `foo.info'.
Werner
