From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from simark.ca (simark.ca [158.69.221.121]) by sourceware.org (Postfix) with ESMTPS id 3827D3858C54 for ; Mon, 27 Mar 2023 21:18:35 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 3827D3858C54 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=simark.ca Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=simark.ca Received: from [10.0.0.170] (unknown [217.28.27.60]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by simark.ca (Postfix) with ESMTPSA id C59DE1E110; Mon, 27 Mar 2023 17:18:34 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=simark.ca; s=mail; t=1679951914; bh=o6lQ1K9kGoMy6ZMs3X9aj1X/ybLeFHdPFem/SS1WFbg=; h=Date:Subject:To:Cc:References:From:In-Reply-To:From; b=WqIqmRZ8kRMEV4tsqwX53XqIycqyOhVx9VyCRqF4RVaKCYPXqe1Z6+TkXJeya312q GzQR1dT93x8FaMURVEhny+ENuOg7CaLghh8iarDjz++4zD+r+tIYBzg0y4xga/uOzz b7MCay3tR9BSXaYwJsH8p0EY+RiVxWoYRWck9L+M= Message-ID: <89f5b249-378b-1b19-1885-f12028b96c78@simark.ca> Date: Mon, 27 Mar 2023 17:18:34 -0400 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.9.0 Subject: Re: [PATCH 2/2] gdb/doc: uniformize wording for GMP and MPFR entries Content-Language: fr To: Eli Zaretskii , Philippe Blain Cc: gdb-patches@sourceware.org, apinski@marvell.com References: <20230306-doc-require-mpfr-fix-v1-0-8f207504dd3e@gmail.com> <20230306-doc-require-mpfr-fix-v1-2-8f207504dd3e@gmail.com> <83ttysxvp9.fsf@gnu.org> <83y1nzsfgu.fsf@gnu.org> From: Simon Marchi In-Reply-To: <83y1nzsfgu.fsf@gnu.org> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-4.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,SPF_HELO_PASS,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: > My preference is to install only the first of these, for the reasons I > explained, but I'm waiting to hear opinions of others, if they differ. Since you are waiting for some opinion, I'll give mine. I like the more uniform text after patch 2. I like having the description of why GDB uses the library at the start (even if it's just informative, it doesn't help the user accomplish anything in the end). I think that the change that mentions the "configure" script is nice, otherwise it can be unclear where to use those --with-gmp/--with-gmp-include/--with-gmp-lib options. Simon