diff options
Diffstat (limited to 'scripts/w32installer.nsi')
| -rw-r--r-- | scripts/w32installer.nsi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/w32installer.nsi b/scripts/w32installer.nsi index 5a3266408..5a8c668c4 100644 --- a/scripts/w32installer.nsi +++ b/scripts/w32installer.nsi @@ -385,11 +385,14 @@ Section "Uninstall" Delete "$INSTDIR\gpgsplit.exe" Delete "$INSTDIR\gpgv.exe" + +!ifdef WITH_WINPT Delete "$INSTDIR\WinPT.exe" Delete "$INSTDIR\PTD.dll" Delete "$INSTDIR\Doc\README.winpt.txt" Delete "$INSTDIR\Doc\NEWS.winpt.txt" Delete "$INSTDIR\Doc\keyserver.conf" +!endif Delete "$INSTDIR\Doc\gnupg.man" Delete "$INSTDIR\Doc\gpg.man" |