Fix removal git dir

lukassnoek · Mar 7, 2017 · 5e379db · 5e379db
1 parent c1dfbd0
commit 5e379db
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/update_and_push_docs.sh b/docs/update_and_push_docs.sh
@@ -30,9 +30,9 @@ else
     fi
 
     git rm -rf .
-    /bin/rm -rf docs
+    find . -path ./.git -prune -o -exec rm -rf {} \; 2> /dev/null
     tar xzf /tmp/html.tgz
     git add .
     git commit -m "Updating docs for $cbranch and pushing to origin & gh-pages branch"
     git push origin gh-pages
-fi
+fi