[PATCH] Fix html filenames on case insensitive filesystems.

[Ben Elliston]

> The binutils html manuals are built using "makeinfo --html", which
> converts @node names directly into <node>.html when splitting the
> html files. In a case insensitive filesystem this causes certains
> files to conflict.

Perhaps you should report this problem to the Texinfo maintainer, too?
At the very least, makeinfo could complain about this condition.  A
better alternative might be to mangle the output filenames a bit so
that the user need not be concerned with this.

Ben