Updated version to 4.0.3-dev.

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

6 files changed, 12 insertions, 12 deletions

diff --git a/INSTALL b/INSTALL
index 8c78c3034..2bd113ea8 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:
 
-     https://www.mpfr.org/mpfr-4.0.2/
+     https://www.mpfr.org/mpfr-4.0.3/
 
    which may have additional information. The patches can be applied
    with commands like:
 
-     wget https://www.mpfr.org/mpfr-4.0.2/allpatches
+     wget https://www.mpfr.org/mpfr-4.0.3/allpatches
      patch -N -Z -p1 < allpatches
 
    or
 
-     curl https://www.mpfr.org/mpfr-4.0.2/allpatches | patch -N -Z -p1
+     curl https://www.mpfr.org/mpfr-4.0.3/allpatches | patch -N -Z -p1
 
    (Those instructions are for the GNU patch command, for example
    /usr/bin/gpatch on Solaris.)
@@ -369,7 +369,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 <https://www.mpfr.org/faq.html>, which may be more
     up-to-date);
-  * the MPFR web page for this version <https://www.mpfr.org/mpfr-4.0.2/>,
+  * the MPFR web page for this version <https://www.mpfr.org/mpfr-4.0.3/>,
     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 4d54daddb..3704213cb 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-4.0.2
+4.0.3-dev
diff --git a/configure.ac b/configure.ac
index 00df01cac..756b45d4b 100644
--- a/configure.ac
+++ b/configure.ac
@@ -26,7 +26,7 @@ https://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.2])
+AC_INIT([MPFR],[4.0.3-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 d99a4e9ed..9c0a95669 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.2
+@set VERSION 4.0.3-dev
 @set UPDATED-MONTH January 2019
 @settitle GNU MPFR @value{VERSION}
 @synindex tp fn
@@ -479,7 +479,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.2 web page @url{https://www.mpfr.org/mpfr-4.0.2/}.
+MPFR 4.0.3 web page @url{https://www.mpfr.org/mpfr-4.0.3/}.
 
 @section Getting the Latest Version of MPFR
 
@@ -494,7 +494,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.2 web page @url{https://www.mpfr.org/mpfr-4.0.2/} and the
+on the MPFR 4.0.3 web page @url{https://www.mpfr.org/mpfr-4.0.3/} and the
 FAQ @url{https://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 efcfd9d26..58c344065 100644
--- a/src/mpfr.h
+++ b/src/mpfr.h
@@ -26,8 +26,8 @@ https://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 2
-#define MPFR_VERSION_STRING "4.0.2"
+#define MPFR_VERSION_PATCHLEVEL 3
+#define MPFR_VERSION_STRING "4.0.3-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 7b66d8322..2591db94a 100644
--- a/src/version.c
+++ b/src/version.c
@@ -25,5 +25,5 @@ https://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
 const char *
 mpfr_get_version (void)
 {
-  return "4.0.2";
+  return "4.0.3-dev";
 }