From 0f212bd0c2b1ddfa354cd6615c60a64f6599e3d4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 23 Dec 2001 13:29:02 +0000
Subject: MAJ

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

diff --git a/distrib/RELEASE b/distrib/RELEASE
index 819fcb93c1..9e6a3b8339 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -340,6 +340,9 @@ la doc sous ftp depuis le r
     On retrouve alors sous ftp avec le README, plusieurs couples
     .dvi.gz et .ps.gz, le tar de la doc html, le tar des docs en ps.
 
+    Ajouter à la main le fichier CHANGES de l'archive Coq dans 
+    
+      /net/pauillac/infosystems/ftp/coq/coq/V6.2.5/doc
 
 (**************************************************************************)
 D) LE SERVEUR WEB
-- 
cgit v1.2.3