diff options
-rw-r--r-- | .travis.yml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 40963180..47f6720e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -45,6 +45,4 @@ script: - make - ctest - branch=$(git symbolic-ref HEAD | sed -r -e 's:.*/(.*):\1:') - - 'if [ "$branch" = "master" ]; then - ../tools/update_docs - fi' + - if [ "$branch" = "master" ]; then ../tools/update_docs; fi |