From 0dda2590af59a11c5919aea06919c775b1ba70f7 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 25 Sep 2001 10:51:36 +0000
Subject: Nouvel emplacement pour coq.spec

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

diff --git a/distrib/check-list b/distrib/check-list
index 28a04fe81b..0ae0b0c466 100755
--- a/distrib/check-list
+++ b/distrib/check-list
@@ -75,8 +75,8 @@ echo -n " is that OK? "
 read a
 if [ "$a" != 'y' -a "$a" != 'Y' ]; then echo Aborting; exit 1; fi
 
-versionspec1=`grep "^Version: " ./coq.spec | sed -e 's!^Version: \(.*\)!\1!'`
-versionspec2=`grep "^Source: " ./coq.spec | sed -e 's!.*coq-\(.*\)\.tar\.gz.*!\1!'`
+versionspec1=`grep "^Version: " ./RH/coq.spec.tpl | sed -e 's!^Version: \(.*\)!\1!'`
+versionspec2=`grep "^Source: " ./RH/coq.spec.tpl | sed -e 's!.*coq-\(.*\)\.tar\.gz.*!\1!'`
 if [ "$versionspec1" = "$version" -a "$versionspec2" = "$version" ];
 then echo "Version number in coq.spec seems OK ($versionspec1)";
 else
-- 
cgit v1.2.3