On Fri, Nov 28, 2008 at 10:00:21AM +0100, Werner LEMBERG wrote: > > > > . 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'.
Right, though I think it would be more logical to produce only foo.expanded. More to the point, -E should not be specific of an output format. Of course there have to be defaults, so let ifinfo be the default, but in my opinion it should be as format neutral as possible. -- Pat
