travis: need odoc for the doc

This commit is contained in:
Simon Cruanes 2018-01-14 18:17:40 -06:00
parent fc329fa118
commit 266c0c073e

View file

@ -32,4 +32,3 @@ script:
- make build
- opam install sequence qcheck qtest gen
- make test
- make doc