Bug fix in automated docs deployment

MrinalJain17 · Sep 21, 2018 · b716e08 · b716e08
1 parent 3543e58
commit b716e08
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/deploy_docs.bat b/deploy_docs.bat
@@ -6,7 +6,8 @@ cd docs
 echo Deleting old documentation...
 call make clean-cache
 rmdir files /S /Q
-git worktree remove --force
+rmdir ..\.git\worktrees\files /S /Q
+git worktree prune
 
 echo Checking out gh-pages branch into files...
 git worktree add -B gh-pages files origin/gh-pages