Skip to content

Commit

Permalink
docs: remove ezirmin due to irmin-dev conflict
Browse files Browse the repository at this point in the history
  • Loading branch information
avsm committed Jan 12, 2017
1 parent c4c63de commit 785d427
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions Dockerfile.doc
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,6 @@ RUN opam depext -uivj 3 \
dns \
dockerfile \
duration \
ezirmin \
ezjsonm \
ezxmlm \
fat-filesystem \
Expand Down Expand Up @@ -151,7 +150,7 @@ RUN opam depext -uivj 3 \
yojson \
xenstore \
zarith-freestanding
# to fix: dns-forward nbd qcow vhd-format datakit-ci mirage-block-ccm tar-format
# to fix: dns-forward nbd qcow vhd-format datakit-ci mirage-block-ccm tar-format ezirmin
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
Expand Down

0 comments on commit 785d427

Please sign in to comment.