Commit cce2eb15 authored by MARCHE Claude's avatar MARCHE Claude

updated ROADMAP

parent 753f24f3
...@@ -188,15 +188,14 @@ See CHANGES ...@@ -188,15 +188,14 @@ See CHANGES
(check that manual in HTML is also generated, doc/html/index.html) (check that manual in HTML is also generated, doc/html/index.html)
* do "make dist" * do "make dist"
* test distrib/why3-0.84.tar.gz * test distrib/why3-0.84.tar.gz
* put on the web page why3-0.84.tar.gz:
cp distrib/why3-0.84.tar.gz /users/www-perso/projets/why3/download
* inform Jerry James <loganjerry@gmail.com> so that he can test the * inform Jerry James <loganjerry@gmail.com> so that he can test the
Fedora package Fedora package
* install web page for why2 which includes an updated page for the * install web page for why2 which includes an updated page for the
quick migration guide. (sources are in CVS repository quick migration guide. (sources are in CVS repository
~filliatr/ARCHIVE/www/why). ~filliatr/ARCHIVE/www/why).
* put on the web page * put on the web page
- why3-0.84.tar.gz
cp distrib/why3-0.84.tar.gz /users/www-perso/projets/why3/download
- the manual in PDF - the manual in PDF
cp doc/manual.pdf /users/www-perso/projets/why3/download/manual-0.84.pdf cp doc/manual.pdf /users/www-perso/projets/why3/download/manual-0.84.pdf
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment