Skip the Haddock step on macOS.
commit90946d8c0dc9fcbffc46f70cda949282477d7c3e
authorMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Tue, 5 Dec 2017 14:25:17 +0000 (5 14:25 +0000)
committerMikhail Glushenkov <mikhail.glushenkov@gmail.com>
Tue, 5 Dec 2017 14:26:04 +0000 (5 14:26 +0000)
treefbfb3ff9719d7fce801f3f652e3eecfdbbcdabf2
parent97f2208adac1b5d786a507c2048216629f4c0888
Skip the Haddock step on macOS.

I don't think it ever uncovered any bugs that the Linux bot
missed. This should speed up the build a little.
travis-script.sh