Sphinx Documentation Activity (rever.activities.sphinx)

Activity for building sphinx documentation. The doc building happens inside of a docker container. However, the sphinx build directory is mounted into $REVER_DIR/sphinx-build, so the built docs are available on the host.