Re: makeinfo split html on mac os x

[Karl Berry]

        pre.smalllisp    { font-size:smaller }
        span.sc { font-varia<div class="contents">

How distressing.  I will research (unless someone else gets there first :).

Thanks for the report, Trevis.

karl