[PATCH 1/2] gdb/doc: MPFR is now a necessary requirement

[Eli Zaretskii]

> Date: Fri, 10 Mar 2023 12:46:56 -0500
> Cc: Andrew Pinski <apinski@marvell.com>
> From: Philippe Blain via Gdb-patches <gdb-patches@sourceware.org>
> 
> Since 99118062785 (Use toplevel configure for GMP and MPFR for gdb,
> 2022-11-08), MPFR is mandatory for building GDB. That commit adjusted
> the "Requirements for Building GDB" section of the documentation so that
> the MPFR entry mentions "now uses" instead of "can use", but left the
> whole entry under the "Tools/Packages Optional for Building GDB"
> heading.
> 
> Move the MPFR entry to the "Tools/Packages Necessary for Building GDB"
> heading.
> ---
>  gdb/doc/gdb.texinfo | 30 +++++++++++++++---------------
>  1 file changed, 15 insertions(+), 15 deletions(-)

Thanks, this is OK.

Approved-By: Eli Zaretskii <eliz@gnu.org>