doc: the dev trees are sadly not compiling at the moment, so cull irmin

These will be brought back asap, but need to get docs.mirage.io rebuilding...
mirage · Dec 30, 2016 · 658ff42 · 658ff42
1 parent fc2a2c8
commit 658ff42
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/Dockerfile.doc b/Dockerfile.doc
@@ -19,7 +19,6 @@ RUN opam depext -uivj 3 \
   charrua-unix \
   cmdliner \
   cohttp \
-  conduit \
   core_kernel \
   cow \
   cowabloga \
@@ -47,7 +46,6 @@ RUN opam depext -uivj 3 \
   io-page \
   ipaddr \
   irc-client \
-  irmin \
   irmin-watcher \
   jekyll-format \
   jenga \
@@ -145,7 +143,7 @@ RUN opam depext -uivj 3 \
   yojson \
   xenstore \
   zarith-freestanding
-# to fix: dns-forward nbd qcow vhd-format git datakit-server hvsock datakit-github datakit-ci mirage-block-ccm tar-format ezirmin
+# to fix: dns-forward nbd qcow vhd-format git datakit-server hvsock datakit-github datakit-ci mirage-block-ccm tar-format ezirmin irmin conduit
 RUN opam config exec -- odig ocamldoc
 RUN opam pin add -n octavius git://github.com/ocaml-doc/octavius
 RUN opam pin add -n doc-ock git://github.com/ocaml-doc/doc-ock