From 666cffac9882e215d928582baa4acd951a10cf41 Mon Sep 17 00:00:00 2001
From: mayero <mayero@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 25 Apr 2001 22:06:09 +0000
Subject: ajout pour le cdrom

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1726 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RELEASE | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'distrib/RELEASE')

diff --git a/distrib/RELEASE b/distrib/RELEASE
index 34f6a612e..cc5bdb82b 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -344,4 +344,10 @@ E) LE CDROM
   - mettre ŕ jour les fichiers prog/{unix,pc,mac}/coq/{fra,eng}.htm
   - mettre ŕ jour les liens dans ftp/coq 
 	(1 lien pour la version Mac, 1 lien pour les autres architectures).
-  - vérifier que projs/coq/{fra,eng}.htm sont corrects
+  - vérifier que projs/logical/{fra,eng}.htm et *.html sont corrects
+
+Pour les sites www (coq et logical) faire une copie et modifier les
+liens relatifs suivant l'architecture du cdrom.
+
+
+
-- 
cgit v1.2.3