diff options
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 8cedb335..a857df90 100644 --- a/.travis.yml +++ b/.travis.yml @@ -28,7 +28,7 @@ script: - make - ctest - | - if [ "$TRAVIS_BRANCH" == "master" ] then + if [ "$TRAVIS_BRANCH" == "master" ]; then ./tools/update_docs exit 0 else |