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

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"