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 C75473858CDB for ; Mon, 9 Jan 2023 12:24:11 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org C75473858CDB 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 1pErCE-0004cW-Lm; Mon, 09 Jan 2023 07:24:10 -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=Eu+hDRf/tXDsV838d8Clwpf3XsAlZu17nS+euoXr7Fk=; b=VaqtALCpQdzP X9mT4w8ETwcIgbkokSoK6v7+ayDvsXZ2jHQFB2VO6X5xRLCTckMwvYIBm7qGW08EcbYyIm7ilZm7e WdMP45Pw7s5jlhqpTWIh3Ur9LNBIcs9h2mIQvl8FgJonVqQSjCXe06Twnr3vQl/waeTRtOlhKhS+7 pdUdBTiMLZRtFzC0D9YemNXMzH9krbKVn2c5dAKm2yuFJNQswwPKyQMiRFd+Y8sy/wDzMaHzxa+s5 A63jtwDXXbalHYUGNpHvTSNlBVeFSKgdRuUlw9JfM0QPGgmRJTr9SAqVvyy9Mr9fYRijcd08ApxHk x/PeigXW2Re1s5EcYAIxwQ==; 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 1pErCD-00014w-Tn; Mon, 09 Jan 2023 07:24:10 -0500 Date: Mon, 09 Jan 2023 14:24:35 +0200 Message-Id: <83a62rq4jg.fsf@gnu.org> From: Eli Zaretskii To: Torbjorn SVENSSON Cc: gdb-patches@sourceware.org In-Reply-To: <64679b6c-e318-0b7a-2dad-9a1f716f9ba8@foss.st.com> (message from Torbjorn SVENSSON on Mon, 9 Jan 2023 07:51:17 +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> <83sfgmsit3.fsf@gnu.org> <64679b6c-e318-0b7a-2dad-9a1f716f9ba8@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: > Date: Mon, 9 Jan 2023 07:51:17 +0100 > CC: > From: Torbjorn SVENSSON > > >> 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? > > According to the other thread, they are generated to easy cross linking > the documentation. There is nothing in the documentation that will > generate a link to any of these files, so hence the question if they are > needed by GDB. Maybe I'm confused, but don't you above answer your own question? "Easy cross linking" is the reason. > >> 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? > > As I understood it, it was proved that the redirect pages were colliding > and no way around that in current implementation, but maybe I > misunderstood the reply... AFAIU, it's a bug in Texinfo. I hope they will solve it at some point. But now let me turn the table and ask you why we as a project should care about HTML version of the manual being installed on MS-Windows? Having said that, I have no serious objections to changing the name of the anchor if it will solve the problem for you.