Re: incorrect html cross references

[Karl Berry]

    @menu
    * Foo Bar: (foobar).
    @end menu

    then texi2html generates strange cross references:

    <li><a accesskey="1" href="#g_t_0028foo_002dbar">Foo Bar</a>

    I have a vauge recollection that texi2html does the right thing, but
    makeinfo --html does not.  

Thanks for the report.  If texi2html does the "right thing", then
there's nothing to be done, since we're replacing makeinfo with
texi2html.