README.dev: benefit from continuous integration

git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@1249 211d60ee-9f03-0410-a15a-8952a2c7a4e4

1 files changed, 19 insertions, 22 deletions

diff --git a/README.dev b/README.dev
index b3eeb1d..dc5f3cd 100644
--- a/README.dev
+++ b/README.dev
@@ -14,25 +14,22 @@ Required versions:
 Creating a new release
 ----------------------
 
- 1) Check compilation with latest gmp and mpfr, with gmp 4.3.2 and mpfr 3.0.0;
-    with and without "--enable-valgrind-tests --disable-shared".
- 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.
- 3) Verify that the ABI version in src/Makefile.am is correct.
- 4) 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.
- 5) Execute "autoreconf; touch doc/mpc.texi; make distcheck".
-    This updates the date and version number in doc/version.texi and
-    creates the tarball for distribution.
- 6) Create an svn tag from inside the svn root:
-    svn cp trunk tags/VERSION
- 7) Update the web page on the server.
-    The html documentation is created with
-       makeinfo --html --no-split mpc.texi
-    and the resulting mpc.html is copied to content_html.php.
- 8) After the release, update the version number in configure.ac, INSTALL,
-    src/get_version.c, src/mpc.h and Makefile.vc.
- 9) Potentially increase the API version in src/Makefile.am.
-10) Commit the changes to svn.
+1) 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.
+2) Verify that the ABI version in src/Makefile.am is correct.
+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.
+4) Execute "autoreconf; touch doc/mpc.texi; make distcheck".
+   This updates the date and version number in doc/version.texi and
+   creates the tarball for distribution.
+5) Create an svn tag from inside the svn root:
+   svn cp trunk tags/VERSION
+6) Update the web page on the server.
+   The html documentation is created with
+      makeinfo --html --no-split mpc.texi
+   and the resulting mpc.html is copied to content_html.php.
+7) After the release, update the version number in configure.ac, INSTALL,
+   src/get_version.c, src/mpc.h and Makefile.vc.
+8) Commit the changes to svn.