Re: Renaming an Index node to prevent file collision

[Patrice Dumas]

On Mon, Jun 25, 2012 at 09:36:57AM +1200, Michael Hope wrote:
> 
> Unfortunately that code is enabled based on the build machine, not on
> the target.  We've discussed always using the case insensitive code
> but that would need a patch to makeinfo.

If I understand well, the issue is that you are building a manual on a
case sensitive system and you want to be sure that the result is correct
on a case-insensitive system, that is there are no file produced that
differ only by the case.  Am I  right?

-- 
Pat