diff --git a/ROADMAP b/ROADMAP index 06d17f29597b3cd705ba367807253147437d558c..040ae88355f04c3218cbb9ad751810f1aadc74af 100644 --- a/ROADMAP +++ b/ROADMAP @@ -120,9 +120,6 @@ scheduled on March 2013 * manual in HTML: "make doc/html/index.html" * do "make distrib" * test distrib/why3-0.81.tar.gz -* make a last commit: - - add tag 0.81 to the git repository, using git tag 0.81 - - do not forget to push it using git push --tags * install web page for why2 which includes an updated page for the quick migration guide. (sources are in CVS repository ~filliatr/ARCHIVE/www/why) @@ -163,6 +160,14 @@ scheduled on March 2013 - make everything writeable for the group chmod -R g+w /users/www-perso/projets/why3 +* make a last commit: + - git commit -m "release 0.81" + - add tag 0.81 to the git repository, using + git tag 0.81 + - do not forget to push it using + git push + git push --tags + * add a new version to the bugtracker: https://gforge.inria.fr/tracker/admin/?group_id=2990&atid=10293&add_extrafield=1 diff --git a/Version b/Version index a39c99a07b38f04db939aa82886f048da924278b..9f991a32dd15568dbc7a786f0201fd99680d07ce 100644 --- a/Version +++ b/Version @@ -1,5 +1,5 @@ # Why version -VERSION=0.81 +VERSION=0.81+git