From f78b016ba246389ce418f6cd3c8744ee10e0c45f Mon Sep 17 00:00:00 2001 From: Josh Smith Date: Sun, 2 Oct 2016 16:27:26 -0700 Subject: [PATCH] Fix doc deploy --- deploy_docs.sh | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/deploy_docs.sh b/deploy_docs.sh index 0a0a39f1b..34be3a119 100755 --- a/deploy_docs.sh +++ b/deploy_docs.sh @@ -23,11 +23,17 @@ echo "Generating docs..." mix docs # Push to GitHub -echo "Pushing to GitHub..." +echo "Checking GitHub..." cd doc git add . -git commit -m "Update docs" -git push -u origin gh-pages:gh-pages --force +if git diff-index --quiet HEAD; +then + echo "Nothing to update." +else + echo "Pushing to GitHub..." + git commit -m "Update docs" + git push -u origin gh-pages:gh-pages --force +fi # Exit successfully exit 0