From 2b4ed9b34e3852df7582f2a084274340113194e4 Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Fri, 1 Dec 2017 16:13:06 -0500
Subject: uninstall doc dir, not dev (which is not installed), #6007

---
 dev/build/windows/patches_coq/coq_new.nsi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/build/windows/patches_coq/coq_new.nsi b/dev/build/windows/patches_coq/coq_new.nsi
index b88aa066d8..48f1d3759b 100644
--- a/dev/build/windows/patches_coq/coq_new.nsi
+++ b/dev/build/windows/patches_coq/coq_new.nsi
@@ -188,7 +188,7 @@ SectionEnd
 Section "Uninstall"
   ; Files and folders
   RMDir /r "$INSTDIR\bin"
-  RMDir /r "$INSTDIR\dev"
+  RMDir /r "$INSTDIR\doc"
   RMDir /r "$INSTDIR\etc"
   RMDir /r "$INSTDIR\lib"
   RMDir /r "$INSTDIR\libocaml"
-- 
cgit v1.2.3