Build HTML documentation using Sphinx. This uses the following
options in a “sphinx” section of the options.
- docroot
- the root under which Sphinx will be working. Default: docs
- builddir
- directory under the docroot where the resulting files are put.
default: build
- sourcedir
- directory under the docroot for the source files
default: (empty string)