Re: @menu refering to other info files and html output

[Karl Berry]

    @menu
    * Other file: (foo).            Test
    @end menu

I can't say I'm surprised.

Patrice, how does texi2html do?

Thanks,
k