ci: fix doc dep

rr0gi · rr0gi · commit 53ea0a6145a3 · 2019-10-09T16:06:02.000-04:00
diff --git a/.build-devkit.sh b/.build-devkit.sh
@@ -7,7 +7,7 @@ echo "-- install and upgrade opam deps"
 
 cmd opam uninstall devkit
 cmd opam upgrade --fixup
-cmd opam install --deps-only devkit
+cmd opam install --with-doc --deps-only ./devkit.opam
 
 echo "+++ build"
 
