From 819e8a4f84bc6798b4e890090fb74a3f02626d6b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sun, 4 Apr 2021 15:17:37 +0200
Subject: [build] Remove leftovers of codesigning / OSX IDe infrastructure.

This is not used anymore, and after #14122 the makefile parts for the
dmg generation are not used anymore.

Closes #7476 .
---
 Makefile.make | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.make')

diff --git a/Makefile.make b/Makefile.make
index 9f0e06dffc..dc123820ee 100644
--- a/Makefile.make
+++ b/Makefile.make
@@ -277,7 +277,7 @@ cacheclean:
 	find theories user-contrib test-suite -name '.*.aux' -exec rm -f {} +
 
 cleanconfig:
-	rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist
+	rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq
 
 distclean: clean cleanconfig cacheclean timingclean
 
-- 
cgit v1.2.3