[1/1] Add link to gmplib.org

Message ID 20230105033853.7111-2-benson_muite@emailplus.org
State Committed
Commit c7867f82f4c08fb355bb0115ade51df8fdbe3832
Headers
Series Update installation docs with gmplib link |

Commit Message

Benson Muite Jan. 5, 2023, 3:38 a.m. UTC
  Link is missing from install documentation

Signed-off-by: Benson Muite <benson_muite@emailplus.org>
---
 gcc/doc/install.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
  

Comments

Benson Muite Jan. 11, 2023, 2:57 p.m. UTC | #1
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_muite@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
  
Sandra Loosemore March 7, 2023, 11:42 p.m. UTC | #2
On 1/11/23 07:57, Benson Muite via Gcc-patches wrote:
> 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

Thanks, I've pushed this patch.

-Sandra
  
Benson Muite March 8, 2023, 6:26 a.m. UTC | #3
> Thanks, I've pushed this patch.
> 
> -Sandra
Appreciated. Thanks.
  

Patch

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