On Sat, Jan 07, 2023 at 03:37:21PM +0200, Eli Zaretskii wrote: > > From: Gavin Smith <gavinsmith0...@gmail.com> > > Date: Sat, 7 Jan 2023 12:29:33 +0000 > > Cc: pertu...@free.fr, torbjorn.svens...@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 ?
Yes, texi2any and makeinfo are the same command. > 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? Indeed, it is an improvement, but does not fix the issue, because of the bug Torbjörn reported. There is indeed a file with the two nodes concatenated, but also a redirection file with the same name... This issue of redirection files really needs fixing... -- Pat
