From 56e10d809930f9e088f7e4f6148d86098a9873ad Mon Sep 17 00:00:00 2001 From: Kate Date: Mon, 5 Sep 2022 13:43:15 +0100 Subject: [PATCH] Use the 2.1 branch as source of the documentation Fixes https://github.com/ocaml-opam/opam2web/issues/213 --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 39f4137..fd03af4 100644 --- a/Dockerfile +++ b/Dockerfile @@ -31,7 +31,7 @@ RUN sudo mkdir -p /usr/local/bin \ && sudo chmod a+x /usr/local/bin/man2html RUN sudo mv /usr/bin/opam-2.1 /usr/bin/opam && opam update RUN opam install odoc -RUN git clone https://github.com/ocaml/opam --single-branch --depth 1 --branch master /home/opam/opam +RUN git clone https://github.com/ocaml/opam --single-branch --depth 1 --branch 2.1 /home/opam/opam WORKDIR /home/opam/opam RUN opam exec -- ./configure --without-mccs && opam exec -- make lib-ext && opam exec -- make RUN echo '(vendored_dirs src_ext)' >> dune