Fixing update of version number in documentation.

jgebal · jgebal · commit 81a9caf2a7a3 · 2019-03-20T21:55:03.000Z
Updates were not published.
diff --git a/.travis/push_release_version.sh b/.travis/push_release_version.sh
@@ -9,6 +9,7 @@ if [ "${TRAVIS_REPO_SLUG}" = "${UTPLSQL_REPO}" ] && [ "$TRAVIS_PULL_REQUEST" ==
     git add sonar-project.properties
     git add VERSION
     git add source/*
+    git add docs/*
     git commit -m 'Updated project version after build [skip ci]'
     echo "Pushing to origin"
     git push --quiet origin HEAD:${CURRENT_BRANCH}
