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

[Eli Zaretskii]

> From: Gavin Smith <gavinsmith0123@gmail.com>
> Date: Sat, 7 Jan 2023 12:29:33 +0000
> Cc: pertusus@free.fr, torbjorn.svensson@foss.st.com, bug-texinfo@gnu.org
> 
> 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.

Doesn't makeinfo also accept -c ?

Anyway, the above doesn't seem to fix the problem, or what am I
missing?  What do you see on your system if you invoke the above
command with the source which Patrice posted?