Lower RTD build time (#5078)

This commit is contained in:
jack1142 2021-05-26 10:07:46 +02:00 committed by GitHub
parent 2d8dbad63b
commit b8b8a38fbd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 0 additions and 6 deletions

View File

@ -1,15 +1,11 @@
version: 2
formats:
- pdf
build:
image: latest
python:
version: 3.8
install:
- requirements: docs/requirements.txt
- method: pip
path: .
extra_requirements:

View File

@ -1,2 +0,0 @@
# We still need this because RTD is special
setuptools==40.8.0