Need to force remove .git directory

This commit is contained in:
Jordan Brown
2020-05-21 10:51:42 -04:00
parent bb65b501eb
commit 6a57dc92e2
+1 -1
View File
@@ -39,5 +39,5 @@ if [ "$PUBLISH_DOX" = true ] ; then
git commit -m "Deploy code docs to GitHub Pages for Travis build $TRAVIS_BUILD_NUMBER" -m "Commit: $TRAVIS_COMMIT"
git push -f "https://$TGS4_TEST_GITHUB_TOKEN@$GITHUB_URL" 2>&1 | /dev/null
cd "$BUILD_FOLDER"
rm -r "$DOXDIR/.git"
rm -rf "$DOXDIR/.git"
fi