Commit 626cc549 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

final fixes before true release

parent bd5c75f7
......@@ -128,12 +128,21 @@ scheduled on March 2013
* put on the web page
- why3-0.81.tar.gz
cp distrib/why3-0.81.tar.gz /users/www-perso/projets/why3/download
- the manual in PDF
cp doc/manual.pdf /users/www-perso/projets/why3/download/manual-0.81.pdf
- the HTML version of the manual (content of doc/html)
cp -r doc/html /users/www-perso/projets/why3/doc-0.81
- why3session.dtd
cp share/why3session.dtd /users/www-perso/projets/why3/
- standard library online, using why3doc, to
make stdlibdoc
cp -r doc/stdlibdoc /users/www-perso/projets/why3/stdlib-0.81
rm /users/www-perso/projets/why3/stdlib)
rm /users/www-perso/projets/why3/stdlib
ln -s /users/www-perso/projets/why3/stdlib-0.81 \
- API doc, produced using ocamldoc, to
......@@ -144,10 +153,16 @@ scheduled on March 2013
PROBLEME avec style.css
- update the main HTML page (sources are in repository why3-www)
edit index.html
make export
- add links to extra resources like,,
page du cours de l'X (in french ? using Krakatoa/why3 bridge)
- make everything writeable for the group
chmod -R g+w /users/www-perso/projets/why3
* add a new version to the bugtracker:
......@@ -96,7 +96,7 @@
Version \whyversion{}, October 2012
Version \whyversion{}, March 2013
......@@ -129,7 +129,7 @@ $^2$ Inria Saclay -- \^Ile-de-France, Palaiseau, F-91120
\textcopyright 2010-2012 University Paris-Sud, CNRS, Inria
\textcopyright 2010-2013 University Paris-Sud, CNRS, Inria
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