diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2020-11-01 10:40:17 +0100 |
|---|---|---|
| committer | Kristian Evers <kristianevers@gmail.com> | 2020-11-01 10:42:05 +0100 |
| commit | ceddaabe3d6494da5c3f2797515151d2da06df14 (patch) | |
| tree | 06e5b4384f81cb94003efb862a410135eb3dbcc4 /travis | |
| parent | 1e7679bc83f6e8f7ffa4a23451e0b3d6367264fd (diff) | |
| download | PROJ-ceddaabe3d6494da5c3f2797515151d2da06df14.tar.gz PROJ-ceddaabe3d6494da5c3f2797515151d2da06df14.zip | |
Update docs for 7.2.0 release
Diffstat (limited to 'travis')
| -rwxr-xr-x | travis/after_success.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/travis/after_success.sh b/travis/after_success.sh index c3b28b97..095bafbd 100755 --- a/travis/after_success.sh +++ b/travis/after_success.sh @@ -12,7 +12,7 @@ fi echo "$TRAVIS_SECURE_ENV_VARS" ./travis/build_docs.sh # Only build and publish docs when changes are made on most recent maintenance branch -if test "$TRAVIS_SECURE_ENV_VARS" = "true" -a "$TRAVIS_BRANCH" = "7.1"; then +if test "$TRAVIS_SECURE_ENV_VARS" = "true" -a "$TRAVIS_BRANCH" = "7.2"; then echo "publish website"; ./travis/add_deploy_key.sh; ./travis/deploy_website.sh $TRAVIS_BUILD_DIR/docs/build /tmp; |