From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from eggs.gnu.org (eggs.gnu.org [IPv6:2001:470:142:3::10]) by sourceware.org (Postfix) with ESMTPS id 5CA613858D33 for ; Sat, 7 Jan 2023 11:08:39 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 5CA613858D33 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 ) id 1pE742-0001In-Ai; Sat, 07 Jan 2023 06:08:38 -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=cbhcec5wHrTYY4RBgaIWATG5e5HhxI3pYhoMSBglCcI=; b=hjRB1ZilfjwZ qAR2pXhVInYCFg3J5yGoIawq6kxRaCtyaXULK9DsKdBGi8N4ypAfYzyiK2f0BN6UBApZmaTlIlyHA rTePV7AUBh2z3TaoDEauRitbBLmwXV4jN3GWjaL+us++Vum7SJ0Y3sq40FdzFu/zsvOKmJ5zGPNBN Ey9PrgDDLs+atymhQgMggN0GsyEtwn84oWL/mmwYI+lS6Oa3sou0bFSqYylqReCNt/y4Aa9NC3eGl 0OYcglrjXqJZdgpVc1ddiU7mX7SSfjo3zino5+5zneO2VROnG9LE5BOkWxaHY/8FVNiXDtC0Tqa3g 0sWgO2LFSFgAu2YxGYx2bg==; 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 ) id 1pE741-0004F4-Lc; Sat, 07 Jan 2023 06:08:37 -0500 Date: Sat, 07 Jan 2023 13:08:56 +0200 Message-Id: <83sfgmsit3.fsf@gnu.org> From: Eli Zaretskii To: Torbjorn SVENSSON Cc: gdb-patches@sourceware.org In-Reply-To: (message from Torbjorn SVENSSON on Sat, 7 Jan 2023 11:52:45 +0100) Subject: Re: Generated GDB documentation have colliding files on a case insensitive files system References: <831qo6u1m0.fsf@gnu.org> <778ba370-2304-bc7f-c160-9adb24c05f9b@foss.st.com> <83y1qesjys.fsf@gnu.org> 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: > Date: Sat, 7 Jan 2023 11:52:45 +0100 > CC: > From: Torbjorn SVENSSON > > 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. They are produced by makeinfo, and they are produced for a reason, no? > 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. I still don't want to make any conclusions until the Texinfo discussion is completed. How do you know there's no solution with the existing Texinfo versions?