The scripts in this repository use the Drone CI cloud infrastructure to regularly
build a snapshot of MirageOS libraries and generate their documentation using
odoc. The HTML is then pushed to the
gh-pages branch of this repository, and is served at
docs.mirage.io via GitHub pages.
The opam package list that we build is held in PACKAGES. Feel free to contribute additional libraries that are relevant to MirageOS that we should also regularly publish up there. Any package included in this must be co-installable with the mainline MirageOS package set, so your contribution also acts as a useful addition to the continuous testing pool.