Add link to gmplib.org

Message ID c3a62e9d-1d13-e338-7392-22c207061d37@emailplus.org
State Accepted
Headers
Series Add link to gmplib.org |

Checks

Context Check Description
snail/gcc-patch-check success Github commit url

Commit Message

Benson Muite Jan. 4, 2023, 5:32 a.m. UTC
  Link is missing from install documentation
---
 gcc/doc/install.texi | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
  

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