> A method by which the output files can be prefixed with a montonically > increasing number, thus making them unique in a case-insensitive > filesystem.
It would break the html manuals cross-references. I guess this is not a very used setting but it should be considered. Anyway a solution I see would be to have a partition with case-insensitive behaviour (a fat) and run makeinfo in that partition. I believe that loopback partitions exist on most recent operating systems, such that it needs not to be a real partition. -- Pat _______________________________________________ Texinfo home page: http://www.gnu.org/software/texinfo/ [email protected] http://lists.gnu.org/mailman/listinfo/bug-texinfo
