Re: makeinfo 4.8 generates non-standard HTML for @address@hidden

[Karl Berry]

    >       <p><em>You should substitute `<samp></em><span 
class="samp">i686</span>
    >       <em></samp>' in the above command with the appropriate processor 
    >       for your host.</em>
    > Thanks for the report, I'll work on fixing that.

    have you had a chance to look into this?  

Not yet, but it's again at the top of my Texinfo list due to your
message :).

    It's certainly not a top priority issue 

I'm glad, because my time for Texinfo in general is unfortunately rather
lacking these days :(.

Best,
Karl