To build the documentation tree, please run the build script in
the docs-src directory.