From cce2eb1554a0a0adeffde0e6ae6cecc4ba941294 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Claude=20March=C3=A9?= <Claude.Marche@inria.fr>
Date: Mon, 1 Sep 2014 16:45:00 +0200
Subject: [PATCH] updated ROADMAP
---
ROADMAP | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/ROADMAP b/ROADMAP
index 58b21e785f..eeb9dfd6d7 100644
--- a/ROADMAP
+++ b/ROADMAP
@@ -188,15 +188,14 @@ See CHANGES
(check that manual in HTML is also generated, doc/html/index.html)
* do "make dist"
* 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
Fedora package
* install web page for why2 which includes an updated page for the
quick migration guide. (sources are in CVS repository
~filliatr/ARCHIVE/www/why).
* 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
cp doc/manual.pdf /users/www-perso/projets/why3/download/manual-0.84.pdf
--
GitLab