One minor problem seems to be that the 'index' documentation is included
in the top-level index file too, see bottom of:
http://www.gnu.org/software/gnulib/manual/html_node/index.html
Is this a texinfo bug? I'm using texinfo 4.13.
It's not a bug, it's an ugly feature :(.
Regarding case-insensitive filesystems and all that.
karl
