leanprover/lean — pull request #13 by soonhokong (2014-06-03 02:39:05+00:00)
Title: chore(.travis.yml): add 'travis_wait' to doxygen build

"If you have a command that doesn't produce output for
more than 10 minutes, you can prefix it with travis_wait,
a function that's exported by our build environment."

http://docs.travis-ci.com/user/build-timeouts/