From a410de733817ff337cfae1e305cb0283ccebecb1 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Tue, 26 Aug 2014 10:46:18 +0200
Subject: Configure.ml creates metadata to annotate MacOS binaries

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 31b36c792e..c7fb1ff768 100644
--- a/Makefile
+++ b/Makefile
@@ -239,7 +239,7 @@ cacheclean:
 	find theories plugins test-suite -name '.*.aux' -delete
 
 cleanconfig:
-	rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-v7
+	rm -f config/Makefile config/coq_config.ml myocamlbuild_config.ml dev/ocamldebug-v7 config/Info-*.plist
 
 distclean: clean cleanconfig cacheclean
 
-- 
cgit v1.2.3