diff options
| -rw-r--r-- | README.dev | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/README.dev b/README.dev new file mode 100644 index 0000000..fba2654 --- /dev/null +++ b/README.dev @@ -0,0 +1,7 @@ +To make a new release: + + 1) create a tag for the new release, for example: + + $ svn cp svn+ssh://zimmerma@scm.gforge.inria.fr/svn/mpc/trunk \ + svn+ssh://zimmerma@scm.gforge.inria.fr/svn/mpc/tags/0.4.6 + |