From 2a9b81fd54d2704bc7fcaa32d24cc64be18c0774 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.) --- 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 d481f57359..5ca6b62b02 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"