Re: Renaming an Index node to prevent file collision

[Michael Hope]

On 25 June 2012 10:05, Patrice Dumas <address@hidden> wrote:
> 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?

That's correct, yes.

-- Michael