From 6c7f6fa6c215e5e28fcf23bf28ccb9db543709ba Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 20 Sep 2001 16:49:20 +0000
Subject: MAJ V7.1

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

diff --git a/distrib/RELEASE b/distrib/RELEASE
index cc5bdb82bf..1776d4dc4c 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -1,5 +1,6 @@
 (**************************************************************************)
 (*               Liste des choses à faire pour une release                *)
+(*                          Mise à jour V7                                *)
 (**************************************************************************)
 
 PLAN
@@ -17,12 +18,12 @@ A1) V
 
   S'assurer que les choses suivantes été réalisées et COMMITÉES.
 
-  - Changement du magic number dans src/meta/library.ml si la syntaxe
+  - Changement du magic number dans library/library.ml si la syntaxe
     interne des .vo a changé
 
   - Changement des variables en tête du fichier "configure" et
     vérification du numéro de versions de OCaml et Camlp4 demandées
-  - Mise à jour des champs Version, Source et Require
+  - Mise à jour des champs Version, Source et Require dans RH/coq.spec.tpl
   - Relecture des fichiers "README", "README.win", en particulier,
     vérification du numéro de version, des adresses internet et des
     coordonnées de Coq
@@ -30,6 +31,8 @@ A1) V
     de version de coq et numéros des versions de OCaml et Camlp4 demandées
   - Mise à jour/nettoyage du fichier CHANGES et du fichier ANNONCE
 
+  S'assurer aussi que make world, make doc et make check fonctionnent !
+
   EN CAS DE MODIFICATION DE L'ARCHIVE, REPRENDRE EN A3
   (ou en A2 si la date ou le numéro de version a changé)
 
-- 
cgit v1.2.3