Re: Renaming an Index node to prevent file collision

[Patrice Dumas]

On Mon, Jun 25, 2012 at 10:20:40AM +1200, Michael Hope wrote:
> 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.

Unfortunately, that makes sense...  I'll see what I can do.

-- 
Pat