Build documentation before gathering static files
As the documentation build process generates additional static files for the website, it needs to be run before those static files are deployed to nginx.
As the documentation build process generates additional static files for the website, it needs to be run before those static files are deployed to nginx.