From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <SRS0=QRuk=5M=gnu.org=eliz@sourceware.org>
Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10])
	by sourceware.org (Postfix) with ESMTPS id 5B3EE3858D32
	for <gdb-patches@sourceware.org>; Sun, 15 Jan 2023 17:39:16 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 5B3EE3858D32
Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gnu.org
Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gnu.org
Received: from fencepost.gnu.org ([2001:470:142:3::e])
	by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.90_1)
	(envelope-from <eliz@gnu.org>)
	id 1pH6yQ-0007Wn-4z; Sun, 15 Jan 2023 12:39:14 -0500
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org;
	s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date:
	mime-version; bh=aEMHt9dGsvJG8CcdM9fdWMP5L/ONPqe70Lo6rY9R3po=; b=SQ0zlx1c3Fal
	ygAz2Opjcm99uafANgGds7Xd8ntx8uU4VTmJG2ChZgAbuy1b14FWEryCkSs1BYfiLslY1PDTNUN4a
	MsbCsQ5puUJP2TPwRVnIB8hm43W73xrV14/xVfeXFQi5y8AAQxMtImt2d0Ys1Zsp/7bOP+mFKiOyr
	yceOuz2SfnAsvY5QG/+4FAPFCx7cPVsx3c142J24erlmrZvPoY5urPwDtxUAxwz8KcDzdlUeLECdl
	ihF9UjZR0oTDEcdgKounpxS6wZ26PsyfEYilwiTAM9q9aMHNch19Ghc5+jV1REllNKnTNECWhwHBM
	uwlaICpllhob7dqCyZBHhg==;
Received: from [87.69.77.57] (helo=home-c4e4a596f7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.90_1)
	(envelope-from <eliz@gnu.org>)
	id 1pH6yP-0006jI-Jm; Sun, 15 Jan 2023 12:39:13 -0500
Date: Sun, 15 Jan 2023 19:39:19 +0200
Message-Id: <837cxn66k8.fsf@gnu.org>
From: Eli Zaretskii <eliz@gnu.org>
To: Torbjorn SVENSSON <torbjorn.svensson@foss.st.com>
Cc: gdb-patches@sourceware.org
In-Reply-To: <a141b9c6-2a84-47ac-da44-1dfd380a39eb@foss.st.com> (message from
	Torbjorn SVENSSON on Sun, 15 Jan 2023 18:22:54 +0100)
Subject: Re: Generated GDB documentation have colliding files on a case
 insensitive files system
References: <f3c39dba-a254-821c-b24a-b846eacf8039@foss.st.com>
 <831qo6u1m0.fsf@gnu.org> <778ba370-2304-bc7f-c160-9adb24c05f9b@foss.st.com>
 <83y1qesjys.fsf@gnu.org> <d538bd53-1428-4234-129e-e7d2978501c1@foss.st.com>
 <83sfgmsit3.fsf@gnu.org> <64679b6c-e318-0b7a-2dad-9a1f716f9ba8@foss.st.com>
 <83a62rq4jg.fsf@gnu.org> <a141b9c6-2a84-47ac-da44-1dfd380a39eb@foss.st.com>
X-Spam-Status: No, score=1.9 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_BARRACUDACENTRAL,SPF_HELO_PASS,SPF_PASS,TXREP autolearn=no autolearn_force=no version=3.4.6
X-Spam-Level: *
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org
List-Id: <gdb-patches.sourceware.org>

> Date: Sun, 15 Jan 2023 18:22:54 +0100
> CC: <gdb-patches@sourceware.org>
> From: Torbjorn SVENSSON <torbjorn.svensson@foss.st.com>
> 
> As I see it, there are 3 different options for the documentation in GDB:
> 
> 1. Leave everything as is and forget about all users extracting a cross 
> built GDB with documentation and let the users deal with duplicated files...
> 
> 2. Set the CASE_INSENSITIVE_FILENAMES option and also change one of the 
> anchors to have unique files. This will require Texinfo >7.0.1 that is 
> not yet released.
> 
> 3. Generate one single big HTML file. This should be supported with 
> existing versions of Texinfo, although I haven't tested this option.
> What would be needed in GDB sources is to replace the command line 
> option --split-size with --no-split to avoid generating more than one file.
> 
> 
> What option would you prefer?

I think we should rename one of the anchors, and otherwise leave
things at that, because doing so will resolve the problem even without
using CASE_INSENSITIVE_FILENAMES and without waiting for a future
release of Texinfo, right?