Re: makeinfo --html doesn't split properly if a node is named index

[Karl Berry]

Hi Jon,

As Eli writes, in principle @node index should work, and its contents
should be appended in the file index.html to the contents of the normal
top level (unless you've changed that name, but it doesn't sound like
you have).

Can you create a test case?

Thanks,
Karl