Updated version to 4.0.1-dev.

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

6 files changed, 12 insertions, 12 deletions

diff --git a/INSTALL b/INSTALL
index 37fe7cd2a..f9ef5cc65 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-4.0.0/
+     http://www.mpfr.org/mpfr-4.0.1/
 
    which may have additional information. The patches can be applied
    with commands like:
 
-     wget http://www.mpfr.org/mpfr-4.0.0/allpatches
+     wget http://www.mpfr.org/mpfr-4.0.1/allpatches
      patch -N -Z -p1 < allpatches
 
    or
 
-     curl http://www.mpfr.org/mpfr-4.0.0/allpatches | patch -N -Z -p1
+     curl http://www.mpfr.org/mpfr-4.0.1/allpatches | patch -N -Z -p1
 
    (Those instructions are for the GNU patch command, for example
    /usr/bin/gpatch on Solaris.)
@@ -363,7 +363,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-4.0.0/>,
+  * the MPFR web page for this version <http://www.mpfr.org/mpfr-4.0.1/>,
     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 fcdb2e109..ad6abd314 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-4.0.0
+4.0.1-dev
diff --git a/configure.ac b/configure.ac
index 3c667390b..e947fdae4 100644
--- a/configure.ac
+++ b/configure.ac
@@ -26,7 +26,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],[4.0.0])
+AC_INIT([MPFR],[4.0.1-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 8bc543a50..7f96ace25 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 4.0.0
+@set VERSION 4.0.1-dev
 @set UPDATED-MONTH December 2017
 @settitle GNU MPFR @value{VERSION}
 @synindex tp fn
@@ -500,7 +500,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 4.0.0 web page @url{http://www.mpfr.org/mpfr-4.0.0/}.
+MPFR 4.0.1 web page @url{http://www.mpfr.org/mpfr-4.0.1/}.
 
 @section Getting the Latest Version of MPFR
 
@@ -515,7 +515,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 4.0.0 web page @url{http://www.mpfr.org/mpfr-4.0.0/} and the
+on the MPFR 4.0.1 web page @url{http://www.mpfr.org/mpfr-4.0.1/} 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 4b71733d8..873d41e1c 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 4
 #define MPFR_VERSION_MINOR 0
-#define MPFR_VERSION_PATCHLEVEL 0
-#define MPFR_VERSION_STRING "4.0.0"
+#define MPFR_VERSION_PATCHLEVEL 1
+#define MPFR_VERSION_STRING "4.0.1-dev"
 
 /* User macros:
    MPFR_USE_FILE:        Define it to make MPFR define functions dealing
diff --git a/src/version.c b/src/version.c
index 3a9ce77e7..8c33754ae 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 "4.0.0";
+  return "4.0.1-dev";
 }