From f3bfcde4e0c7fef0fb7ac248da602d6a69744d83 Mon Sep 17 00:00:00 2001
From: courant
Date: Wed, 25 Apr 2001 14:28:42 +0000
Subject: *** empty log message ***

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

diff --git a/distrib/RELEASE b/distrib/RELEASE
index 0efa6c2b78..34f6a612ed 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -54,8 +54,7 @@ A3) ESTAMPILLAGE DE L'ARCHIVE
 
      make tag
 
-  pour (on suppose que le numéro de version donné dans
-configure.distrib est V6.2.5) poser le tag V6-2-5 à l'archive V6-2.
+  pour poser le tag V6-2-5 à l'archive V6-2 (on suppose que le numéro de version donné dans configure.distrib est V6.2.5).
 
   La commande "make tag" peut être refaite plusieurs fois auquel cas
 l'ancienne marque est supprimée avant d'être remise à la nouvelle
-- 
cgit v1.2.3