Commit b09625e4 authored by Guillaume Melquiond's avatar Guillaume Melquiond

Fix symlink guidelines.

parent 8670140f
......@@ -279,13 +279,12 @@ DONE * sauvegarde de la configuration : à quel endroit dans l'IDE ?
- standard library online, using why3doc, to http://why3.lri.fr/stdlib/
make stdlibdoc
cp -r doc/stdlibdoc /users/www-perso/projets/why3/stdlib-0.86
ln -s -n -f /users/www-perso/projets/why3/stdlib-0.86 \
/users/www-perso/projets/why3/stdlib
ln -s -n -f stdlib-0.86 /users/www-perso/projets/why3/stdlib
- API doc, produced using ocamldoc, to http://why3.lri.fr/api/
make apidoc
cp -r doc/apidoc /users/www-perso/projets/why3/api-0.86
ln -s -n -f /users/www-perso/projets/why3/api-0.86 \
/users/www-perso/projets/why3/api
make apidoc
cp -r doc/apidoc /users/www-perso/projets/why3/api-0.86
ln -s -n -f api-0.86 /users/www-perso/projets/why3/api
- update the main HTML page (sources are in repository why3-www)
edit index.html, change at least all occurrences of 0.85 by 0.86, and
......
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