From e1198dc695c026a50fef2e15fe42b1eb0e4b89cb Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 13 Mar 2002 08:40:55 +0000
Subject: cleanconfig efface ocamldebug-v7

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

diff --git a/Makefile b/Makefile
index b77b87dee7..b29a242c89 100644
--- a/Makefile
+++ b/Makefile
@@ -868,7 +868,7 @@ clean:: archclean
 	rm -f */*.pp[iox] contrib/*/*.pp[iox]
 
 cleanconfig::
-	rm -f config/Makefile config/coq_config.ml
+	rm -f config/Makefile config/coq_config.ml dev/ocamldebug-v7
 
 ###########################################################################
 # Dependencies
-- 
cgit v1.2.3