Skip to content

Commit

Permalink
Fixing index.md location
Browse files Browse the repository at this point in the history
  • Loading branch information
jgebal committed Dec 1, 2019
1 parent 4496c28 commit 71d08d4
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions .travis/push_docs_to_github_io.sh
Original file line number Diff line number Diff line change
Expand Up @@ -58,6 +58,7 @@ if [ "$TRAVIS_PULL_REQUEST" == "false" ] && { [ "${CURRENT_BRANCH}" == "${LATEST
fi
# Stage changes for commit
git add .
cd ${GITHUB_IO_DOCS_DIR}
#Check if there are doc changes, if none exit the script
if [[ -z `git diff HEAD --exit-code` ]]; then
echo "No changes to docs detected."
Expand Down

0 comments on commit 71d08d4

Please sign in to comment.