diff options
author | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-06-25 08:47:09 +0200 |
---|---|---|
committer | Paul Zimmermann <Paul.Zimmermann@inria.fr> | 2020-06-25 08:47:09 +0200 |
commit | 3dafad1d6588eb0b94f5c8461069b05b24b1faca (patch) | |
tree | 03f5445d069e52321680089ddc272dfb35629cf0 | |
parent | 23cecd90c748c9a1ac41eb2928390d096c0b00bb (diff) | |
download | mpc-git-3dafad1d6588eb0b94f5c8461069b05b24b1faca.tar.gz |
added item in README.dev
-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. |