On 2023-01-11 23:07, Patrice Dumas wrote:
On Wed, Jan 11, 2023 at 06:35:01PM +0100, Torbjorn SVENSSON wrote:
On 2023-01-11 08:48, Patrice Dumas wrote:
Hello,
Here is a commit which should bring in explicit error messages about
conflicts among redirection pages and with other output files
On 2023-01-11 08:48, Patrice Dumas wrote:
Hello,
Here is a commit which should bring in explicit error messages about
conflicts among redirection pages and with other output files:
https://git.savannah.gnu.org/cgit/texinfo.git/commit/?id=2d279f1d39bf026eeb243beb9f00aecb0b0bf2d2
Still need to
On 2023-01-09 19:32, Patrice Dumas wrote:
On Mon, Jan 09, 2023 at 09:57:45AM +0100, Patrice Dumas wrote:
Actually, it could be that redirection pages clash with element file
names because of transliteration, for example the following names would
clash:
@node Près
@anchor{Prés}
It is indeed
On 2023-01-07 16:05, Patrice Dumas wrote:
On Sat, Jan 07, 2023 at 11:41:36AM +0100, Torbjorn SVENSSON wrote:
If this is clear that I should have been using the
CASE_INSENSITIVE_FILENAMES setting, why is it not always active?
Because it produces suboptimal manuals in case sensitive
On 2023-01-07 11:09, Patrice Dumas wrote:
On Sat, Jan 07, 2023 at 09:52:17AM +0100, Torbjorn SVENSSON wrote:
Okay, maybe I was unclear in the first mail.
What I'm doing is building the manual on a GNU/Linux system with a case
sensitive file system. This means that the build is fin
On 2023-01-07 11:21, pertu...@free.fr wrote:
On Sat, Jan 07, 2023 at 11:54:03AM +0200, Eli Zaretskii wrote:
Date: Sat, 7 Jan 2023 10:38:57 +0100
From: pertu...@free.fr
Cc: Gavin Smith , torbjorn.svens...@foss.st.com,
bug-texinfo@gnu.org
No, what I would like to know is whether nodes
On 2023-01-06 22:52, Gavin Smith wrote:
On Fri, Jan 06, 2023 at 08:47:52PM +0100, Patrice Dumas wrote:
On Fri, Jan 06, 2023 at 01:28:04PM +0100, Torbjörn SVENSSON wrote:
Hi,
I can't find where to send patches, so pardon me if this is the wrong
channel.
It is the right channel.
I recentl
