Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs

[Gavin Smith]

On Sat, Jan 07, 2023 at 01:06:41PM +0200, Eli Zaretskii wrote:
> How do you "set" the CASE_INSENSITIVE_FILENAMES from the command line?
> It looks like the Texinfo manual says VAR=VALUE, but what VALUE should
> be used in this case?  And what will that do in terms of the output
> produced for the simple source you posted?

"texi2any -c CASE_INSENSITIVE_FILENAMES=1" I assume.