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
