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:40:17 +0100 |
| commit | c6ede221ed1637798e1b1b323ee4220e5e7ad7cf (patch) | |
| tree | a790a96556c307317e1b49ee373b97646d87b0eb /travis | |
| parent | 91a767b0cdebba317e20abdcee6bfa444cfe8455 (diff) | |
| download | PROJ-c6ede221ed1637798e1b1b323ee4220e5e7ad7cf.tar.gz PROJ-c6ede221ed1637798e1b1b323ee4220e5e7ad7cf.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; |