Revert "[hotfix] Manual build of docs"

This reverts commit 396616d4462e220644f55a4eac1d95d75d4de272.
494 files changed