> Just to avoid confusion: `makeinfo -E foo.expanded foo.texinfo' > produces both `foo.expanded' and `foo.info'.
BTW: Does texi2html already support other output formats (besides
HTML)? If the answer is yes, how shall I call texi2hmtl?
Werner
