Updated version to 3.1.2-dev.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/branches/3.1@8318 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 3 insertions, 3 deletions

diff --git a/INSTALL b/INSTALL
index 0f6f1c155..acd9eaca1 100644
--- a/INSTALL
+++ b/INSTALL
@@ -35,10 +35,10 @@ MPFR).
 
 2. It is strongly advised to apply the latest patches (if this has
    not been done yet), e.g.
-     wget http://www.mpfr.org/mpfr-3.1.1/allpatches
+     wget http://www.mpfr.org/mpfr-3.1.2/allpatches
      patch -N -Z -p1 < allpatches
    or
-     curl http://www.mpfr.org/mpfr-3.1.1/allpatches | patch -N -Z -p1
+     curl http://www.mpfr.org/mpfr-3.1.2/allpatches | patch -N -Z -p1
 
    (Those instructions are for the GNU patch command, for example
     /usr/bin/gpatch on Solaris.)
@@ -321,7 +321,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.1.1/>,
+  * the MPFR web page for this version <http://www.mpfr.org/mpfr-3.1.2/>,
     which lists bugs found in this version and provides some patches.
 
 If the "configure" fails, please check that the C compiler and its