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. -- Michael
