From 2f17ec529ae9413db8f6d381352f0cda102a684f Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 1 Sep 2014 14:44:28 +0200 Subject: [PATCH] Windows installer: uninstall "collects" Closes PR 14715, where Eli describes the repair (Probably, the "collects" directory was missing from the uninstaller list because "collects" moved under "lib" in an intermediate variant of the directory organization.) original commit: 2a9b81fd54d2704bc7fcaa32d24cc64be18c0774 --- pkgs/distro-build-pkgs/distro-build-client/installer-exe.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/pkgs/distro-build-pkgs/distro-build-client/installer-exe.rkt b/pkgs/distro-build-pkgs/distro-build-client/installer-exe.rkt index d481f57..5ca6b62 100644 --- a/pkgs/distro-build-pkgs/distro-build-client/installer-exe.rkt +++ b/pkgs/distro-build-pkgs/distro-build-client/installer-exe.rkt @@ -343,6 +343,7 @@ Section "Uninstall" Delete "$INSTDIR\*.exe" Delete "$INSTDIR\README*.*" RMDir /r "$INSTDIR\include" + RMDir /r "$INSTDIR\collects" RMDir /r "$INSTDIR\lib" RMDir /r "$INSTDIR\share" RMDir /r "$INSTDIR\etc"