Allow empty commits for docs

osqp · Jun 19, 2018 · 614f3f3 · 614f3f3
1 parent 10d87b6
commit 614f3f3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/travis/docs.sh b/ci/travis/docs.sh
@@ -42,7 +42,7 @@ if [[ $TRAVIS_OS_NAME == "linux" ]]; then
 
 	# Add and commit changes.
 	git add -A .
-	git commit -m "Generated docs for commit $TRAVIS_COMMIT"
+	git commit --allow-empty -m "Generated docs for commit $TRAVIS_COMMIT"
 	# -q is very important, otherwise you leak your GH_TOKEN
 	git push -q origin master