From db5d4ed0a03173d97318940ea3bbd6e48228f912 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 22 Dec 2000 09:28:44 +0000
Subject: MAJ V7

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

diff --git a/distrib/Makefile b/distrib/Makefile
index 786dc4c117..e6948a799c 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -62,7 +62,8 @@ tar-gz:
 	@echo -n Removing the maintenance files and doc...
 	@rm -rf ${COQPACKAGE}/doc
 	@rm -rf ${COQPACKAGE}/distrib
-	@rm -rf ${COQPACKAGE}/{KNOWN-BUGS,TODO,ANNONCE}
+#	@rm -rf ${COQPACKAGE}/KNOWN-BUGS
+	@rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES}
 	@find ${COQPACKAGE} -name ".cvsignore" -exec rm {} \;
 	@echo done
 	@echo -n Building the tar.gz source package
diff --git a/distrib/check-list b/distrib/check-list
index 6f22987489..28a04fe81b 100755
--- a/distrib/check-list
+++ b/distrib/check-list
@@ -33,7 +33,7 @@ fi
 
 echo "Please answer y or n to questions"
 
-if grep $version $COQPACKAGE/src/meta/library.ml > /dev/null; then
+if grep $version $COQPACKAGE/library/library.ml > /dev/null; then
   echo "Found a reference to $version in library.ml..."
   echo "   ... I guess the magic numbers have been changed"
 else
-- 
cgit v1.2.3