diff --git a/.travis.yml b/.travis.yml index ac3b9a99..8bf242dd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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"