doc: also trim irmin due to a cmdliner.1.0 clash

mirage · Mar 14, 2017 · 941c88c · 941c88c
1 parent a55c359
commit 941c88c
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Dockerfile.doc b/Dockerfile.doc
@@ -45,7 +45,6 @@ RUN opam depext -uivj 3 \
   io-page \
   ipaddr \
   irc-client \
-  irmin \
   irmin-watcher \
   jekyll-format \
   jenga \
@@ -141,7 +140,7 @@ RUN opam depext -uivj 3 \
   yojson \
   xenstore \
   zarith-freestanding
-# to fix: dns-forward nbd qcow vhd-format datakit-ci tar-format ezirmin datakit hvsock mirage-block-ccm git-mirage topkg-care git-unix
+# to fix: dns-forward nbd qcow vhd-format datakit-ci tar-format ezirmin datakit hvsock mirage-block-ccm git-mirage topkg-care git-unix irmin
 RUN opam config exec -- odig ocamldoc --docdir-href ../_doc
 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