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

[Philippe Blain <levraiphilippeblain@gmail.com>]

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(-)

diff --git a/gdb/doc/gdb.texinfo b/gdb/doc/gdb.texinfo
index 2a2077c29d1..218c2da9c86 100644
--- a/gdb/doc/gdb.texinfo
+++ b/gdb/doc/gdb.texinfo
@@ -39781,6 +39781,21 @@ you can use the @option{--with-gmp} option or options
 @option{--with-gmp-include} and @option{--with-gmp-lib} to specify
 its location.
 
+@item MPFR
+@anchor{MPFR}
+@value{GDBN} now uses the GNU MPFR multiple-precision floating-point
+library.  This library may be included with your operating system
+distribution; if it is not, you can get the latest version from
+@url{http://www.mpfr.org}.  The @file{configure} script will search
+for this library in several standard locations; if it is installed
+in an unusual path, you can use the @option{--with-mpfr} option or options
+@option{--with-mpfr-include} and @option{--with-mpfr-lib} to specify
+its location.
+
+GNU MPFR is used to emulate target floating-point arithmetic during
+expression evaluation when the target uses different floating-point
+formats than the host.
+
 @end table
 
 @heading Tools/Packages Optional for Building @value{GDBN}
@@ -39858,21 +39873,6 @@ the usual place, then the @file{configure} script will use it
 automatically.  If it is installed in an unusual path, you can use the
 @option{--with-liblzma-prefix} option to specify its location.
 
-@item MPFR
-@anchor{MPFR}
-@value{GDBN} now uses the GNU MPFR multiple-precision floating-point
-library.  This library may be included with your operating system
-distribution; if it is not, you can get the latest version from
-@url{http://www.mpfr.org}.  The @file{configure} script will search
-for this library in several standard locations; if it is installed
-in an unusual path, you can use the @option{--with-mpfr} option or options
-@option{--with-mpfr-include} and @option{--with-mpfr-lib} to specify
-its location.
-
-GNU MPFR is used to emulate target floating-point arithmetic during
-expression evaluation when the target uses different floating-point
-formats than the host.
-
 @item Python
 @value{GDBN} can be scripted using Python language.  @xref{Python}.
 By default, @value{GDBN} will be compiled if the Python libraries are

-- 
2.34.1