Re: [PATCH 0/2] doc: MPFR is now a necessary requirement

[Philippe Blain <levraiphilippeblain@gmail.com>]

Le 2023-03-10 à 12:46, Philippe Blain a écrit :
> This short series moves the "MPFR" requirement in the doc under the
> "Tools/Packages Necessary for Building GDB" heading and uniformizes the wording
> between the GMP and MPFR entries.
> 
> I tested the HTML doc build.
> 
> ---
> Philippe Blain (2):
>       gdb/doc: MPFR is now a necessary requirement
>       gdb/doc: uniformize wording for GMP and MPFR entries
> 
>  gdb/doc/gdb.texinfo | 31 +++++++++++++++----------------
>  1 file changed, 15 insertions(+), 16 deletions(-)
> ---
> base-commit: 4c9066e322f46faf9d753be6ff3e6a09ae668f86
> change-id: 20230306-doc-require-mpfr-fix-65e7105fc410
> --
> b4 
> 

A small ping.

If nobody else has an opinion on 2/2, maybe someone with push access
could push 1/2 which is already approved ?

Thank you,

Philippe.