don't add mirage-dev remote for docs.mirage.io generation

avsm · Mar 6, 2017 · d18b184 · d18b184
1 parent 06c2989
commit d18b184
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Dockerfile.doc b/Dockerfile.doc
@@ -1,6 +1,5 @@
 FROM ocaml/opam:ubuntu-16.04_ocaml-4.03.0
 RUN cd /home/opam/opam-repository && git pull origin master && opam update
-RUN opam remote add mirage-dev https://github.com/mirage/mirage-dev.git
 RUN opam pin add -n odig https://github.com/dbuenzli/odig.git
 RUN opam depext -uivy -j 2 odig
 RUN opam depext -uivj 3 \