Can be used to build the documentation with make documentation. Also, the documentation is now built in each CI pipeline.
make documentation
Please have a look @rizac @gweather