Commit 15df20ce authored by Mehdi Bouaziz's avatar Mehdi Bouaziz Committed by vbot

build-dev-deps: add odoc

The package is needed for building the documentation
parent 887d0b34
......@@ -43,5 +43,5 @@ opam install --yes opam-depext
if [ -n "$dev" ]; then
opam repository add default --rank=-1 > /dev/null 2>&1 || true
opam install merlin --criteria="-changed,-removed"
opam install merlin odoc --criteria="-changed,-removed"
fi
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment