Skip to content

Commit

Permalink
Use the 2.1 branch as source of the documentation
Browse files Browse the repository at this point in the history
Fixes #213
  • Loading branch information
kit-ty-kate authored and rjbou committed Nov 17, 2022
1 parent aceb3f4 commit 56e10d8
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit 56e10d8

Please sign in to comment.