Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
docs: Remove building of zipped HTML docs from build process and cons…
…equently from Downloads as many users don't use that. We are still providing PDF documentation for people who prefer viewing docs off-line. Removal of this build step is expected to save almost 10 minutes of build time and resolve issue of build failures because of hitting 40 min build time limit on Read The Docs.
- Loading branch information