Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mirage/mirage
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: a082a8eb9039
Choose a base ref
...
head repository: mirage/mirage
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: cd7d0915b9ed
Choose a head ref
  • 2 commits
  • 1 file changed
  • 1 contributor

Commits on Sep 28, 2016

  1. doc: add more libraries to the documentation mix

    @avsm
    avsm committed Sep 28, 2016
    Copy the full SHA
    4910a4b View commit details

  2. Merge pull request #599 from avsm/master 

    doc: add more libraries to the documentation mix
    @avsm
    avsm authored Sep 28, 2016
    Copy the full SHA
    cd7d091 View commit details
Showing with 7 additions and 1 deletion.
  1. +7 −1 Dockerfile.doc
8 changes: 7 additions & 1 deletion Dockerfile.doc
View file
Original file line number Diff line number Diff line change
@@ -23,7 +23,13 @@ RUN opam depext -uivj 3 mirage tcpip tls cohttp lwt irmin ipaddr uri github alco
ezxmlm \
vhd-format \
dockerfile \
qcow-format
qcow-format \
mirage-dns \
mirage-btrees \
arp \
charrua-core \
conduit \
irmin-watcher
RUN opam config exec -- odig ocamldoc
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