diff --git a/build/build_dox.sh b/build/build_dox.sh
index 5a42249798..4585d7d8ac 100755
--- a/build/build_dox.sh
+++ b/build/build_dox.sh
@@ -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