Building the documentation is accomplished via a webhook triggering the build on the https://readthedocs.io service.
