On Sat, Jan 07, 2023 at 11:28:45AM +0100, Torbjorn SVENSSON wrote: > I don't think that texi2any should try to be smart and poke the file system > as the file system that the makeinfo command happens to put the output on > might not be the final file system and it can have very different > properties. > > Consider the use-case I mentioned before; build on GNU/Linux, but transfer > the files over to a NTFS/FAT/... based file system. What would be the > expected behavior here, in your point of view? > I, as a user of makeinfo, would expect the files names to be unique and that > this problem should not be forwarded to the tools using makeinfo to generate > their documentation.
Texinfo is primarily part of the GNU system and therefore working well on free operating systems in general and the GNU system in particular takes priority over working well on non-free systems such as Microsoft Windows. Since the filesystems used on GNU/Linux are case-sensitive and HTML manuals on the WWW can be accessed with case-sensitive URLs, it may reduce functionality on GNU/Linux for texi2any always to produce HTML output suitable for case-insensitive filesystems. This would be contrary to GNU policy. Your use case can still be supported but it requires a little more inconvenience using the CASE_INSENSITIVE_FILENAMES flag.
