bug-texinfo
[Top][All Lists]
Advanced
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eli Zaretskii
Subject: Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs
Date: Sat, 07 Jan 2023 17:10:39 +0200 
> Date: Sat, 7 Jan 2023 15:41:36 +0100
> From: pertusus@free.fr
> Cc: Gavin Smith <gavinsmith0123@gmail.com>, torbjorn.svensson@foss.st.com,
>       bug-texinfo@gnu.org
> 
> On Sat, Jan 07, 2023 at 03:37:21PM +0200, Eli Zaretskii wrote:
> > > 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 ?
> 
> 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> &nbsp; </p>
</div>
<hr>
<h2 class="chapter" id="chap1-node1">2 chap1 node1</h2>

<p>Now the second.
</p>
</div>



</body>
</html>
reply via email to
[Prev in Thread] Current Thread [Next in Thread]