diff --git a/ivette/ivette-macos-cleanup.sh b/ivette/ivette-macos-cleanup.sh
deleted file mode 100644
index 32acdf17abf1caaa69f8dbefa746f58715174000..0000000000000000000000000000000000000000
--- a/ivette/ivette-macos-cleanup.sh
+++ /dev/null
@@ -1,27 +0,0 @@
-#!/bin/zsh
-##########################################################################
-#                                                                        #
-#  This file is part of Frama-C.                                         #
-#                                                                        #
-#  Copyright (C) 2007-2022                                               #
-#    CEA (Commissariat à l'énergie atomique et aux énergies              #
-#         alternatives)                                                  #
-#                                                                        #
-#  you can redistribute it and/or modify it under the terms of the GNU   #
-#  Lesser General Public License as published by the Free Software       #
-#  Foundation, version 2.1.                                              #
-#                                                                        #
-#  It is distributed in the hope that it will be useful,                 #
-#  but WITHOUT ANY WARRANTY; without even the implied warranty of        #
-#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         #
-#  GNU Lesser General Public License for more details.                   #
-#                                                                        #
-#  See the GNU Lesser General Public License version 2.1                 #
-#  for more details (enclosed in the file licenses/LGPLv2.1).            #
-#                                                                        #
-##########################################################################
-
-echo "Finalizing Ivette Removal…"
-rm -fr /Applications/Ivette.app
-rm -f $0
-echo "Done."