docs: further package tweaks to get past the mtime.1.0 bump

mirage · May 22, 2017 · d1f0b80 · d1f0b80
1 parent b1b4233
commit d1f0b80
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/Dockerfile.doc b/Dockerfile.doc
@@ -3,6 +3,7 @@ RUN cd /home/opam/opam-repository && git pull origin master && opam update
 RUN opam pin add -n odig https://github.com/avsm/odig.git#mtime-1.0
 RUN opam depext -uivy -j 2 odig odoc
 RUN opam pin add cmdliner 1.0.0
+RUN opam pin add mtime 1.0.0
 RUN opam depext -uivj 3 \
   alcotest \
   angstrom \
@@ -15,7 +16,6 @@ RUN opam depext -uivj 3 \
   atdgen \
   base \
   base64 \
-  charrua-core \
   charrua-unix \
   cmdliner \
   cohttp \
@@ -34,7 +34,6 @@ RUN opam depext -uivj 3 \
   duration \
   ezjsonm \
   ezxmlm \
-  fat-filesystem \
   functoria \
   git \
   github \
@@ -139,7 +138,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 irmin websocket
+# 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 websocket charrua-core fat-filesystem
 RUN opam config exec -- odig ocamldoc --docdir-href ../_doc
 RUN opam config exec -- odig odoc --docdir-href _doc
 RUN ln -s /home/opam/.opam/4.03.0/var/cache/odig/ocamldoc /home/opam/.opam/4.03.0/var/cache/odig/odoc/_ocamldoc