MPFR 3.2(.x) → 4.0(.x)

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@10335 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 4 insertions, 4 deletions

diff --git a/INSTALL b/INSTALL
index e7459fa52..66dff6275 100644
--- a/INSTALL
+++ b/INSTALL
@@ -37,17 +37,17 @@ MPFR).
    not been done yet and if patches are available. You can check
    on the release page:
 
-     http://www.mpfr.org/mpfr-3.2.0/
+     http://www.mpfr.org/mpfr-4.0.0/
 
    which may have additional information. The patches can be applied
    with commands like:
 
-     wget http://www.mpfr.org/mpfr-3.2.0/allpatches
+     wget http://www.mpfr.org/mpfr-4.0.0/allpatches
      patch -N -Z -p1 < allpatches
 
    or
 
-     curl http://www.mpfr.org/mpfr-3.2.0/allpatches | patch -N -Z -p1
+     curl http://www.mpfr.org/mpfr-4.0.0/allpatches | patch -N -Z -p1
 
    (Those instructions are for the GNU patch command, for example
    /usr/bin/gpatch on Solaris.)
@@ -349,7 +349,7 @@ Several documents may help you to solve the problem:
   * the FAQ (either the FAQ.html file distributed with MPFR, or the
     on-line version <http://www.mpfr.org/faq.html>, which may be more
     up-to-date);
-  * the MPFR web page for this version <http://www.mpfr.org/mpfr-3.2.0/>,
+  * the MPFR web page for this version <http://www.mpfr.org/mpfr-4.0.0/>,
     which lists bugs found in this version and provides some patches.
 
 If the "configure" fails, please check that the C compiler and its