Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove documentation build scripts for Jenkins (#1169)
We recently created new scripts for building documentation with GitHub Actions. This PR removes the old scripts that were used by Jenkins and are no longer in use. Authors: - AJ Schmidt (https://github.com/ajschmidt8) Approvers: - Ray Douglass (https://github.com/raydouglass) - Mark Harris (https://github.com/harrism) URL: #1169
- Loading branch information