From bdc48f9b16e31dbf1c90dfb5b4cccb221886f132 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 3 Oct 2001 14:04:41 +0000
Subject: MAJ doc

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

diff --git a/distrib/RELEASE b/distrib/RELEASE
index dd89f697db..adbdebbaa5 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -289,7 +289,19 @@ pour faire des rapports INRIA.
   Si un fichier Anomaly.dvi doit être distribué, s'en occuper à la main
 (ou modifier le Makefile en conséquence).
 
-C2) COMPILATION
+  Si un fichier Changes.dvi doit être distribué, s'en occuper à la main
+(ou modifier le Makefile en conséquence).
+
+C2) ESTAMPILLAGE
+
+  Faire 
+
+  cvs rtag -F V7-1 doc
+
+  pour tagger l'archive avec le numéro de la version de Coq auquel
+  elle correspond
+
+C3) COMPILATION
 
   Pour compiler l'ensemble des fichiers de documentation à installer
 sous ftp et/ou sur le serveur web, faire dans le répertoire doc
@@ -305,7 +317,7 @@ la doc s
 
   cvs tag -F V6-2-5 * library/*
 
-C3) INSTALLATION SOUS FTP
+C4) INSTALLATION SOUS FTP
 
     Après avoir positionner la variable VERSION à V6.2.5, installer
 la doc sous ftp depuis le répertoire doc avec
-- 
cgit v1.2.3