From 06b30bbb3ca957175e1ab884904da13439b9d209 Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 24 Apr 2001 16:17:31 +0000
Subject: Retire le repertoire Num

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1691 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/distrib/Makefile b/distrib/Makefile
index 6a3cea54e5..255e1572d0 100644
--- a/distrib/Makefile
+++ b/distrib/Makefile
@@ -63,8 +63,9 @@ tar-gz:
 	@echo -n Removing the maintenance files and doc...
 #	@rm -rf ${COQPACKAGE}/doc     # doc is implementation doc
 	@rm -rf ${COQPACKAGE}/distrib
-#	@rm -rf ${COQPACKAGE}/KNOWN-BUGS
+	@rm -rf ${COQPACKAGE}/KNOWN-BUGS
 	@rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES}
+	@rm -rf ${COQPACKAGE}/theories/Num
 	@find ${COQPACKAGE} -name ".cvsignore" -exec rm {} \;
 	@echo done
 	@echo -n Building the tar.gz source package
-- 
cgit v1.2.3