Improved wording after a chat with `redi` on IRC.
gcc/ChangeLog:
* doc/install.texi: Mention download_prerequisites
---
gcc/doc/install.texi | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
index 9248f0d..de43e36 100644
--- a/gcc/doc/install.texi
+++ b/gcc/doc/install.texi
@@ -351,7 +351,10 @@ versions may work in some cases, but it's safer
to use the exact
versions documented. We appreciate bug reports about problems with
newer versions, though. If your OS vendor provides packages for the
support libraries then using those packages may be the simplest way to
-install the libraries.
+install the libraries. Alternatively, running
+@code{contrib/download_prerequisites} from the root directory of the source
+tree will fetch these libraries and place them in the appropriate locations
+for the build.
@table @asis
@item GNU Multiple Precision Library (GMP) version 4.3.2 (or later)
--
2.8.3
-Manish
On Thu, Jun 30, 2016 at 12:37 PM, Manish Goregaokar <man...@mozilla.com> wrote:
> 2016-06-30 Manish Goregaokar <man...@mozilla.com>
>
> gcc/ChangeLog:
> * doc/install.texi: Mention download_prerequisites
> ---
> gcc/doc/install.texi | 4 +++-
> 1 file changed, 3 insertions(+), 1 deletion(-)
>
> diff --git a/gcc/doc/install.texi b/gcc/doc/install.texi
> index 9248f0d..0070fdf 100644
> --- a/gcc/doc/install.texi
> +++ b/gcc/doc/install.texi
> @@ -351,7 +351,9 @@ versions may work in some cases, but it's safer to
> use the exact
> versions documented. We appreciate bug reports about problems with
> newer versions, though. If your OS vendor provides packages for the
> support libraries then using those packages may be the simplest way to
> -install the libraries.
> +install the libraries. Alternatively, running
> +@code{contrib/download_prerequisites} from the repository root will fetch
> +these libraries and place them in the appropriate locations for build.
>
> @table @asis
> @item GNU Multiple Precision Library (GMP) version 4.3.2 (or later)
> --
> 2.8.3
