> Date: Sat, 7 Jan 2023 15:41:36 +0100 > From: pertu...@free.fr > Cc: Gavin Smith <gavinsmith0...@gmail.com>, torbjorn.svens...@foss.st.com, > bug-texinfo@gnu.org > > 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...
How do you see that there's "a file with the two nodes concatenated". What I see is index.html and Node1.html. The contents of the latter is this: <!DOCTYPE html> <html> <!-- Created by GNU Texinfo 7.0.1, https://www.gnu.org/software/texinfo/ --> <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8"> <title>node1 (top)</title> <meta name="description" content="node1 (top)"> <meta name="keywords" content="node1 (top)"> <meta name="resource-type" content="document"> <meta name="distribution" content="global"> <meta name="Generator" content="makeinfo"> <meta name="viewport" content="width=device-width,initial-scale=1"> <link href="index.html" rel="start" title="Top"> <link href="index.html" rel="up" title="Top"> <link href="Node1.html" rel="prev" title="Node1"> </head> <body lang="en"> <div class="chapter-level-extent" id="node1"> <div class="nav-panel"> <p> Previous: <a href="Node1.html" accesskey="p" rel="prev">chap Node1</a>, Up: <a href="index.html" accesskey="u" rel="up">top</a> </p> </div> <hr> <h2 class="chapter" id="chap1-node1">2 chap1 node1</h2> <p>Now the second. </p> </div> </body> </html>
