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.
