[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 11:54:03 +0200 |
> Date: Sat, 7 Jan 2023 10:38:57 +0100
> From: pertusus@free.fr
> Cc: Gavin Smith <gavinsmith0123@gmail.com>, torbjorn.svensson@foss.st.com,
> bug-texinfo@gnu.org
>
> No, what I would like to know is whether nodes are concatenated when
> split, or there is only one node in the output.
Only one node is in the output, AFAICT. I attach an archive of the
directory created by the command "makeinfo --html split-test.texi",
where split-test.texi is the text you sent with the two lines
\input texinfo @c -*-texinfo-*-
@setfilename split-test.info
prepended.
split-test1.tar.gz
Description: Binary data
- [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjörn SVENSSON, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Patrice Dumas, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/06
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs,
Eli Zaretskii <=
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Torbjorn SVENSSON, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Eli Zaretskii, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, pertusus, 2023/01/07
- Re: [PATCH] Warn user when 2 files conflict on a case insensitive fs, Gavin Smith, 2023/01/07