Updated version to 3.1.5-dev.

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

6 files changed, 12 insertions, 12 deletions

diff --git a/INSTALL b/INSTALL
index e42f55f18..372a15670 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.1.4/
+     http://www.mpfr.org/mpfr-3.1.5/
 
    which may have additional information. The patches can be applied
    with commands like:
 
-     wget http://www.mpfr.org/mpfr-3.1.4/allpatches
+     wget http://www.mpfr.org/mpfr-3.1.5/allpatches
      patch -N -Z -p1 < allpatches
 
    or
 
-     curl http://www.mpfr.org/mpfr-3.1.4/allpatches | patch -N -Z -p1
+     curl http://www.mpfr.org/mpfr-3.1.5/allpatches | patch -N -Z -p1
 
    (Those instructions are for the GNU patch command, for example
    /usr/bin/gpatch on Solaris.)
@@ -338,7 +338,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.4/>,
+  * the MPFR web page for this version <http://www.mpfr.org/mpfr-3.1.5/>,
     which lists bugs found in this version and provides some patches.
 
 If the "configure" fails, please check that the C compiler and its
diff --git a/VERSION b/VERSION
index 0aec50e6e..86d3e51f8 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.1.4
+3.1.5-dev
diff --git a/configure.ac b/configure.ac
index 369a60220..e750a6bc7 100644
--- a/configure.ac
+++ b/configure.ac
@@ -23,7 +23,7 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 ])
 
 dnl Add check-news when it checks for more than 15 lines
-AC_INIT([MPFR],[3.1.4])
+AC_INIT([MPFR],[3.1.5-dev])
 
 dnl Older Automake versions than 1.13 may still be supported, but no longer
 dnl tested, and many things have changed in 1.13. Moreover the INSTALL file
diff --git a/doc/mpfr.texi b/doc/mpfr.texi
index f8d7784a3..9d5d11cb8 100644
--- a/doc/mpfr.texi
+++ b/doc/mpfr.texi
@@ -2,7 +2,7 @@
 @c %**start of header
 @setfilename mpfr.info
 @documentencoding UTF-8
-@set VERSION 3.1.4
+@set VERSION 3.1.5-dev
 @set UPDATED-MONTH March 2016
 @settitle GNU MPFR @value{VERSION}
 @synindex tp fn
@@ -480,7 +480,7 @@ specific to MPFR)@. Problems are also mentioned in the FAQ
 Please report problems to the MPFR mailing-list @samp{mpfr@@inria.fr}.
 @xref{Reporting Bugs}.
 Some bug fixes are available on the
-MPFR 3.1.4 web page @url{http://www.mpfr.org/mpfr-3.1.4/}.
+MPFR 3.1.5 web page @url{http://www.mpfr.org/mpfr-3.1.5/}.
 
 @section Getting the Latest Version of MPFR
 
@@ -495,7 +495,7 @@ The latest version of MPFR is available from
 @comment Warning! Do not split "MPFR ... @url{...}" across several lines
 @comment as this needs to be updated with update-version.
 If you think you have found a bug in the MPFR library, first have a look
-on the MPFR 3.1.4 web page @url{http://www.mpfr.org/mpfr-3.1.4/} and the
+on the MPFR 3.1.5 web page @url{http://www.mpfr.org/mpfr-3.1.5/} and the
 FAQ @url{http://www.mpfr.org/faq.html}:
 perhaps this bug is already known, in which case you may find there
 a workaround for it.
diff --git a/src/mpfr.h b/src/mpfr.h
index e6105c947..075d0bf23 100644
--- a/src/mpfr.h
+++ b/src/mpfr.h
@@ -26,8 +26,8 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 /* Define MPFR version number */
 #define MPFR_VERSION_MAJOR 3
 #define MPFR_VERSION_MINOR 1
-#define MPFR_VERSION_PATCHLEVEL 4
-#define MPFR_VERSION_STRING "3.1.4"
+#define MPFR_VERSION_PATCHLEVEL 5
+#define MPFR_VERSION_STRING "3.1.5-dev"
 
 /* Macros dealing with MPFR VERSION */
 #define MPFR_VERSION_NUM(a,b,c) (((a) << 16L) | ((b) << 8) | (c))
diff --git a/src/version.c b/src/version.c
index 130e0f86c..f5d2f12cc 100644
--- a/src/version.c
+++ b/src/version.c
@@ -25,5 +25,5 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 const char *
 mpfr_get_version (void)
 {
-  return "3.1.4";
+  return "3.1.5-dev";
 }