From ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 15 Mar 2004 17:00:28 +0000
Subject: preparation pour release (suite)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/RELEASE    | 2 +-
 distrib/check-list | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

(limited to 'distrib')

diff --git a/distrib/RELEASE b/distrib/RELEASE
index 11b795db21..4721bd4bcf 100644
--- a/distrib/RELEASE
+++ b/distrib/RELEASE
@@ -23,7 +23,7 @@ A1) V
 
   - 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 dans RH/coq.spec.tpl
+  - Mise à jour des champs Version, Source et Require dans RH/coq.spec
   - Mise à jour des dépendances dans debian/control. Ajouter une référence
     à la version et un "* New upstream version" dans debian/changelog.
   - Relecture des fichiers "README", "README.win", en particulier,
diff --git a/distrib/check-list b/distrib/check-list
index be39bc665d..7116683936 100755
--- a/distrib/check-list
+++ b/distrib/check-list
@@ -16,7 +16,7 @@ coqdate=`grep "^DATE=" $CONFIGFILE | sed -e 's/^DATE=\(.*\)/\1/'`
 
 echo "According to the configure file of the archive to be released"
 echo "  The release version is V$version"
-echo "  The SearchIsos release version is V$versionsi"
+#echo "  The SearchIsos release version is V$versionsi"
 echo "  The date is $coqdate"
 echo
 echo "Comparing datas with expected ones"
-- 
cgit v1.2.3