release 0.5.2

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

3 files changed, 1 insertions, 1 deletions

diff --git a/README.dev b/README.dev
index 5352609..5156ff0 100644
--- a/README.dev
+++ b/README.dev
@@ -20,7 +20,7 @@ Creating a new release
    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 -m "Tagging release VERSION"
+   svn cp trunk tags/VERSION
 6) Update the web page inside svn and on the server.
    The html documentation is created with
       makeinfo --html --no-split mpc.texi
diff --git a/web/download/mpc-0.5.1.pdf b/web/download/mpc-0.5.2.pdf
index 5ee166e..09177eb 100644
--- a/web/download/mpc-0.5.1.pdf
+++ b/web/download/mpc-0.5.2.pdf
diff --git a/web/download/mpc-0.5.2.tar.gz b/web/download/mpc-0.5.2.tar.gz
new file mode 100644
index 0000000..2a384f3
--- /dev/null
+++ b/web/download/mpc-0.5.2.tar.gz