Re: top node in html cross references

    However it leads to a problematic situation when there is also a
    node named `index'

A node named "index" (lowercase) in a real manual would be exceedingly
unusual.

    (or case variants)

An uppercased node name like "Index" only gets written to index.html on
case-folding systems, at least according to the test I just ran
(@chapter Index got written to Index.html).  I don't think we need to
spend our time making special-case rules just so makeinfo works better
on them.

So, I'm inclined to do nothing.


I changed HTML Splitting node in the manual to explain this accurately.
The absolute statement "one output file per source node" hasn't been
true for a long time.  Thanks for noticing this, Stepan.


Thanks,
k
_______________________________________________
Texinfo home page: http://www.gnu.org/software/texinfo/
[email protected]
http://ff0.org/mailman/listinfo/texinfo-pretest