From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca by simark.ca with LMTP id HYXxDB1PuWN1kBEAWB0awg (envelope-from ) for ; Sat, 07 Jan 2023 05:53:17 -0500 Received: by simark.ca (Postfix, from userid 112) id 2D87C1E222; Sat, 7 Jan 2023 05:53:17 -0500 (EST) Authentication-Results: simark.ca; dkim=pass (1024-bit key; secure) header.d=sourceware.org header.i=@sourceware.org header.a=rsa-sha256 header.s=default header.b=A454vZ3G; dkim-atps=neutral X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on simark.ca X-Spam-Level: X-Spam-Status: No, score=-8.0 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,NICE_REPLY_A, RCVD_IN_DNSWL_HI,RDNS_DYNAMIC,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6 Received: from sourceware.org (ip-8-43-85-97.sourceware.org [8.43.85.97]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by simark.ca (Postfix) with ESMTPS id D89321E112 for ; Sat, 7 Jan 2023 05:53:16 -0500 (EST) Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id 3765A3858C2D for ; Sat, 7 Jan 2023 10:53:16 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 3765A3858C2D DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1673088796; bh=hG4kLbUJzifEzQvuUKS1qGS0A1jvX3v3buf3dfEOn3A=; h=Date:Subject:To:CC:References:In-Reply-To:List-Id: List-Unsubscribe:List-Archive:List-Post:List-Help:List-Subscribe: From:Reply-To:From; b=A454vZ3GTaFUcHU5+cdUDL5smoVK1dRVwDc8gkRQIQ3OF5AOW0RlUcBXSvqQv5zYh KabaDVyZRuE0xAiMMtxaQ4sOvNl0ReeXpdqOjOBUIqoqSUFj3MWfaSY4Wt+d3MkyLr BTwLdh2uZjUx1zhYSwvBLWdzEe1R7pkUC7IxnZuI= Received: from mx07-00178001.pphosted.com (mx08-00178001.pphosted.com [91.207.212.93]) by sourceware.org (Postfix) with ESMTPS id 46A063858D33 for ; Sat, 7 Jan 2023 10:52:56 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 46A063858D33 Received: from pps.filterd (m0046661.ppops.net [127.0.0.1]) by mx07-00178001.pphosted.com (8.17.1.19/8.17.1.19) with ESMTP id 307344mj008557; Sat, 7 Jan 2023 11:52:50 +0100 Received: from beta.dmz-eu.st.com (beta.dmz-eu.st.com [164.129.1.35]) by mx07-00178001.pphosted.com (PPS) with ESMTPS id 3my0gnh7xd-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Sat, 07 Jan 2023 11:52:50 +0100 Received: from euls16034.sgp.st.com (euls16034.sgp.st.com [10.75.44.20]) by beta.dmz-eu.st.com (STMicroelectronics) with ESMTP id BE83C10002A; Sat, 7 Jan 2023 11:52:49 +0100 (CET) Received: from Webmail-eu.st.com (shfdag1node3.st.com [10.75.129.71]) by euls16034.sgp.st.com (STMicroelectronics) with ESMTP id A15EF24B88D; Sat, 7 Jan 2023 11:52:49 +0100 (CET) Received: from [10.252.8.65] (10.252.8.65) by SHFDAG1NODE3.st.com (10.75.129.71) with Microsoft SMTP Server (version=TLS1_2, cipher=TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256) id 15.1.2507.13; Sat, 7 Jan 2023 11:52:46 +0100 Message-ID: Date: Sat, 7 Jan 2023 11:52:45 +0100 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:102.0) Gecko/20100101 Thunderbird/102.6.1 Subject: Re: Generated GDB documentation have colliding files on a case insensitive files system Content-Language: en-US To: Eli Zaretskii CC: References: <831qo6u1m0.fsf@gnu.org> <778ba370-2304-bc7f-c160-9adb24c05f9b@foss.st.com> <83y1qesjys.fsf@gnu.org> In-Reply-To: <83y1qesjys.fsf@gnu.org> Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [10.252.8.65] X-ClientProxiedBy: SHFCAS1NODE1.st.com (10.75.129.72) To SHFDAG1NODE3.st.com (10.75.129.71) X-Proofpoint-Virus-Version: vendor=baseguard engine=ICAP:2.0.205,Aquarius:18.0.923,Hydra:6.0.545,FMLib:17.11.122.1 definitions=2023-01-07_04,2023-01-06_01,2022-06-22_01 X-BeenThere: gdb-patches@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gdb-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , From: Torbjorn SVENSSON via Gdb-patches Reply-To: Torbjorn SVENSSON Errors-To: gdb-patches-bounces+public-inbox=simark.ca@sourceware.org Sender: "Gdb-patches" On 2023-01-07 11:43, Eli Zaretskii wrote: >> Date: Sat, 7 Jan 2023 10:42:11 +0100 >> CC: >> From: Torbjorn SVENSSON >> >> Do you see any use of the ~214 redirect pages in the GDB context? > > Sorry, I don't understand the question. What do you mean by "see any > use" in this context? I was considering if the redirect files could simply be removed from the GDB documentation tree or if they are actually used for inter components references. I'm more or less trying to find the best solution for GDB. There is the possibility to rename one of the [qQ]MemTags anchors in the GDB documentation, but that will also include the alternative name in the redirect page and it would require all the @xref etc to be updated to the renamed anchor. Even if we get a solution merged in texinfo, it will take years for it to get activity used, and in the mean while, we are stuck with this issue in GDB.