From fdd1aae0c3f01f38b861fcedffa6449728fd43e0 Mon Sep 17 00:00:00 2001
From: courant
Date: Thu, 19 Apr 2001 14:45:14 +0000
Subject: ajout du cas win32

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5a6a1005ee..32de1f46bf 100644
--- a/Makefile
+++ b/Makefile
@@ -743,6 +743,7 @@ clean:: archclean
 	rm -f tools/*.cm[io]
 	rm -f scripts/*.cm[io]
 	rm -f dev/*.cm[io]
+	rm -f */*.pp[iox] contrib/*/*.pp[iox]
 
 cleanconfig::
 	rm -f config/Makefile config/coq_config.ml
-- 
cgit v1.2.3