Updated version to 4.0.0-rc2 for an attempt to replace the 4.0 branch.

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

1 files changed, 3 insertions, 3 deletions

diff --git a/doc/mpfr.texi b/doc/mpfr.texi
index 7d36746e9..01da35cec 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.1.0-dev
+@set VERSION 4.0.0-rc2
 @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.1.0 web page @url{http://www.mpfr.org/mpfr-4.1.0/}.
+MPFR 4.0.0 web page @url{http://www.mpfr.org/mpfr-4.0.0/}.
 
 @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.1.0 web page @url{http://www.mpfr.org/mpfr-4.1.0/} and the
+on the MPFR 4.0.0 web page @url{http://www.mpfr.org/mpfr-4.0.0/} 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.