1 files changed, 2 insertions, 1 deletions
diff --git a/README.dev b/README.dev
index 863c5f5..92413a9 100644
--- a/README.dev
+++ b/README.dev
@@ -14,7 +14,8 @@ Required versions:
 Creating a new release
 ----------------------
 
- 1) Check compilation with gmp 4.3.2 and mpfr 2.4.2.
+ 1) Check compilation with gmp 4.3.2 and mpfr 2.4.2, with and without
+    --enable-valgrind-tests.
  2) Check the version number in configure.ac ("AC_INIT (mpc, _version_...)"),
     INSTALL, src/get_version.c, src/mpc.h (remove suffix "-dev" in
     MPC_VERSION_STRING) and Makefile.vc.