summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--README.dev2
-rw-r--r--web/download/mpc-0.5.2.pdf (renamed from web/download/mpc-0.5.1.pdf)bin177016 -> 179040 bytes
-rw-r--r--web/download/mpc-0.5.2.tar.gzbin0 -> 518391 bytes
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
Binary files differ
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
Binary files differ