travis: don't build docs on osx

This commit is contained in:
Simon Arlott 2018-08-12 10:01:56 +01:00
parent 3a484c2c9d
commit 82546fb7b7
No known key found for this signature in database
GPG key ID: 49BFFEEFD4C3ED53

View file

@ -56,4 +56,4 @@ script:
- CC=$COMPILER ./configure --with-shared-sqlite
- make -j4
- make install
- make -C doc/oper-guide html man info
- "if [ ${TRAVIS_OS_NAME} != 'osx' ]; then make -C doc/oper-guide html man info; fi"