[ping][PATCH 1/1] docs: Add link to gmplib.org

[Benson Muite via Gcc-patches]

Improvement to documentation from a new contributor without commit rights.

On 1/5/23 06:38, Benson Muite wrote:
> Link is missing from install documentation
> 
> Signed-off-by: Benson Muite <benson_mu...@emailplus.org>
> ---
>  gcc/doc/install.texi | 3 ++-
>  1 file changed, 2 insertions(+), 1 deletion(-)
> 
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index ccc8d15fd08..18e8709a169 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -396,7 +396,8 @@ install the libraries.
>  @table @asis
>  @item GNU Multiple Precision Library (GMP) version 4.3.2 (or later)
>  
> -Necessary to build GCC@.  If a GMP source distribution is found in a
> +Necessary to build GCC@.  It can be downloaded from
> +@uref{https://gmplib.org/}.  If a GMP source distribution is found in a
>  subdirectory of your GCC sources named @file{gmp}, it will be built
>  together with GCC.  Alternatively, if GMP is already installed but it
>  is not in your library search path, you will have to configure with the