Skip to content

Commit 984286b

Browse files
authored
Install latest theme (#2866)
* Install latest theme in the build.sh so that we can pull the latest sphinx theme when needed.
1 parent eeef336 commit 984286b

File tree

1 file changed

+3
-1
lines changed

1 file changed

+3
-1
lines changed

.jenkins/build.sh

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -56,7 +56,8 @@ if [[ "${JOB_TYPE}" == "worker" ]]; then
5656
# Files to run must be accessible to subprocessed (at least to `download_data.py`)
5757
export FILES_TO_RUN
5858

59-
# Step 3: Run `make docs` to generate HTML files and static files for these tutorials
59+
# Step 3: Run `make docs` to generate HTML files and static files for these tutorialis
60+
pip3 install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git#egg=pytorch_sphinx_theme
6061
make docs
6162

6263
# Step 3.1: Run the post-processing script:
@@ -118,6 +119,7 @@ if [[ "${JOB_TYPE}" == "worker" ]]; then
118119
awsv2 s3 cp worker_${WORKER_ID}.7z s3://${BUCKET_NAME}/${COMMIT_ID}/worker_${WORKER_ID}.7z
119120
elif [[ "${JOB_TYPE}" == "manager" ]]; then
120121
# Step 1: Generate no-plot HTML pages for all tutorials
122+
pip3 install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git#egg=pytorch_sphinx_theme
121123
make html-noplot
122124
cp -r _build/html docs
123125

0 commit comments

Comments
 (0)