On Mon, Jun 25, 2012 at 10:20:40AM +1200, Michael Hope wrote: > On 25 June 2012 10:05, Patrice Dumas <[email protected]> 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
