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/check-list | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'distrib/check-list') diff --git a/distrib/check-list b/distrib/check-list index be39bc665..711668393 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