I made a similar change to the web pages earlier today; this is the complementary one for the installation documentation.
Applied. Gerald 2018-09-01 Gerald Pfeifer <ger...@pfeifer.com> * doc/install.texi (Prerequisites): Adjust link mpfr.org. Index: doc/install.texi =================================================================== --- doc/install.texi (revision 264027) +++ doc/install.texi (working copy) @@ -366,7 +366,7 @@ @item MPFR Library version 2.4.2 (or later) Necessary to build GCC@. It can be downloaded from -@uref{http://www.mpfr.org/}. If an MPFR source distribution is found +@uref{https://www.mpfr.org}. If an MPFR source distribution is found in a subdirectory of your GCC sources named @file{mpfr}, it will be built together with GCC. Alternatively, if MPFR is already installed but it is not in your default library search path, the