From 94511d48568fc1f5e4ced9463d390d323ec248ce Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 10 Apr 2002 11:50:39 +0000
Subject: MAJ

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

diff --git a/distrib/RELEASE b/distrib/RELEASE
index 17e017092d..5290100560 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -375,7 +375,9 @@ D) LE SERVEUR WEB
 D1) PRÉPARATION
 
    Cela se fait sous CVS : faire un check-out ou update du module
-"www" quelque part chez soi en dehors de l'archive V6, puis
+"www" quelque part chez soi en dehors de l'archive V6
+
+   - se placer dans le sous-répertoire "coq" de l'archive "www"
 
    - mettre à jour les fichiers suivants du répertoire coq (numéro de
      version, version nécessaires de ocaml et camlp4, date de mise à
-- 
cgit v1.2.3