the html that `makeinfo --html`
produces contains embedded style elements in the header Indeed. You might be able to create init files for texi2html to make "minimal" HTML output. It's more flexible that way. karl
the html that `makeinfo --html`
produces contains embedded style elements in the header Indeed. You might be able to create init files for texi2html to make "minimal" HTML output. It's more flexible that way. karl