Re: makeinfo options

Tue, 13 Jun 2000 12:09:43 -0700 

    I posted patches which controlled the output of the <body> tag which
    then allowed for arbitrary content in the headers. @html, after
    applying the patch, works well for CSS. Did that patch make it into
    the texinfo sources?

Not yet, but it will ...

Reply via email to