Reverted to version 3.1.6 for online MPFR manual regeneration.

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

6 files changed, 12 insertions, 12 deletions

diff --git a/INSTALL b/INSTALL
index c4baae09c..22436abd8 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.7/
+     http://www.mpfr.org/mpfr-3.1.6/
 
    which may have additional information. The patches can be applied
    with commands like:
 
-     wget http://www.mpfr.org/mpfr-3.1.7/allpatches
+     wget http://www.mpfr.org/mpfr-3.1.6/allpatches
      patch -N -Z -p1 < allpatches
 
    or
 
-     curl http://www.mpfr.org/mpfr-3.1.7/allpatches | patch -N -Z -p1
+     curl http://www.mpfr.org/mpfr-3.1.6/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.7/>,
+  * the MPFR web page for this version <http://www.mpfr.org/mpfr-3.1.6/>,
     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 612b7af33..9cec7165a 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-3.1.7-dev
+3.1.6
diff --git a/configure.ac b/configure.ac
index b02934fea..27c609394 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.7-dev])
+AC_INIT([MPFR],[3.1.6])
 
 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 bbeed4dc0..c2b87a118 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.7-dev
+@set VERSION 3.1.6
 @set UPDATED-MONTH September 2017
 @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.7 web page @url{http://www.mpfr.org/mpfr-3.1.7/}.
+MPFR 3.1.6 web page @url{http://www.mpfr.org/mpfr-3.1.6/}.
 
 @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.7 web page @url{http://www.mpfr.org/mpfr-3.1.7/} and the
+on the MPFR 3.1.6 web page @url{http://www.mpfr.org/mpfr-3.1.6/} 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 641c74d17..6dba95f27 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 7
-#define MPFR_VERSION_STRING "3.1.7-dev"
+#define MPFR_VERSION_PATCHLEVEL 6
+#define MPFR_VERSION_STRING "3.1.6"
 
 /* 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 4fe6499a0..12d31a5fa 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.7-dev";
+  return "3.1.6";
 }