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.)
This commit is contained in:
Matthew Flatt 2014-09-01 14:44:28 +02:00
parent 0d9bb1367e
commit 2a9b81fd54

View File

@ -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"