Re: makeinfo --html bug

[Karl Berry]

    makeinfo    makeinfo (GNU texinfo) 4.8

Thanks for the report, but that's quite an old version of makeinfo.  I
can only suggest getting the current version.

You might also want to try texi2html.

Best,
Karl