From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=foss.st.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=foss.st.com 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 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=foss.st.com; h=message-id : date : mime-version : subject : to : cc : references : from : in-reply-to : content-type : content-transfer-encoding; s=selector1; bh=hG4kLbUJzifEzQvuUKS1qGS0A1jvX3v3buf3dfEOn3A=; b=g/t6RRA0sqzwrfdiHmG4gMpLNEPX6uyEPASyZgCUtLjrNpXxJ7loQigOTOLKq8z0JrzT XrApzbJJTPZGeRzKn0nah1/+xX2waxx/MN3iJreexdY0HmHuPY/ngAO3WzaCB3aigGco ON+0K80xGy+c8Az14qAZQe8+cZSXPKB63btgZwrQic8D9fJlfQuy8W42hrA9wIlSJFvf E/WLIzRQVgZU+TixzOZ+oRlgWcZg0MN1KArC+JsOz6lnr16b4S7ILgMY6lwJV93rBrcH 0DfljEP9xZVZJErs+UOi6Cjv1WTO1pmUkeF8zXqoS3U9P0Wwdu5LYFqicfRBY4Ykdu1o cA== 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> From: Torbjorn SVENSSON 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-Spam-Status: No, score=-7.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,NICE_REPLY_A,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_PASS,TXREP autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: 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.