diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-06-26 10:46:17 +0200 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-06-26 10:46:17 +0200 |
commit | 5eee65ef075b7cbfd878c7d176988014d1d4f352 (patch) | |
tree | 58f349af3b0fd31683dfe33eb6b3d47615153115 | |
parent | dffbbc988f9d56e5a81cf9d497f910039c119213 (diff) | |
parent | 3dafad1d6588eb0b94f5c8461069b05b24b1faca (diff) | |
download | mpc-git-5eee65ef075b7cbfd878c7d176988014d1d4f352.tar.gz |
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/mpc/mpc
-rw-r--r-- | README.dev | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -22,6 +22,8 @@ Creating a new release INSTALL, src/get_version.c, src/mpc.h (remove suffix "dev" in MPC_VERSION_STRING) and Makefile.vc. 2) Verify that the ABI version in src/Makefile.am is correct. + Check that the executables are not read-only + (https://lists.gforge.inria.fr/pipermail/mpc-discuss/2020-June/001539.html) 3) Check that NEWS, BUGS and TODO are up to date, and that the minimal version numbers of gmp and mpfr in configure.ac, INSTALL and doc/mpc.texi are correct. |