Re: Fix doc index name on Windows

[Pedro Alves <pedro at codesourcery dot com>]

On Friday 26 November 2010 11:57:47, Eli Zaretskii wrote:
> Then it's a bug in the cross-build version of makeinfo.  There's code
> in makeinfo/node.c:cm_node to handle the case when a file name
> produced from a node name clashes with a name of an existing file
> (produced from some other node name), due to limitations of the
> underlying filesystem.  What makeinfo does in that case is put all the
> nodes whose names map to the same file name on that single file.  I
> see this behavior in action in the Windows port of makeinfo 4.8, and
> the code which does this was written long before Texinfo 4.7 was
> released, so you must have it as well.

If such code is only triggerable on some hosts only, then IMO it
is broken, because the resulting files will not be movable between
hosts (e.g., generate on Unix, unpack on Windows/NTFS/FAT/Samba, whatnot).
Is there a way to force that behaviour with a makeinfo command line
switch or something of the sort?

-- 
Pedro Alves