doc: move odoc back to the master branch pin as it should be stable a…

…gain
mirage · Mar 14, 2017 · 279f365 · 279f365
1 parent 941c88c
commit 279f365
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Dockerfile.doc b/Dockerfile.doc
@@ -146,7 +146,7 @@ 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
 RUN opam pin add -n doc-ock-xml git://github.com/ocaml-doc/doc-ock-xml
 RUN opam pin add -n doc-ock-html git://github.com/ocaml-doc/doc-ock-html
-RUN opam pin add -n odoc https://github.com/ocaml-doc/odoc.git#fd3efde177134e2d574940bd23ef1fd1e305ff62
+RUN opam pin add -n odoc https://github.com/ocaml-doc/odoc.git
 RUN opam depext -uivy -j 2 odoc
 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