> From: Gavin Smith <[email protected]> > Date: Sat, 7 Jan 2023 12:29:33 +0000 > Cc: [email protected], [email protected], [email protected] > > 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?
