Install theme in push scripts

2025-10-31 12:15:03 +08:00 · 2025-07-15 10:43:29 -07:00
3 changed files with 3 additions and 1 deletions
--- a/.ci/pytorch/cpp_doc_push_script.sh
+++ b/.ci/pytorch/cpp_doc_push_script.sh
@ -58,6 +58,7 @@ time python tools/setup_helpers/generate_code.py \

 # Build the docs
 pushd docs/cpp
+pip install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git@pytorch_sphinx_theme2#egg=pytorch_sphinx_theme2
 time make VERBOSE=1 html -j

 popd
--- a/.ci/pytorch/functorch_doc_push_script.sh
+++ b/.ci/pytorch/functorch_doc_push_script.sh
@ -12,6 +12,7 @@ echo "version: $version"

 # Build functorch docs
 pushd $pt_checkout/functorch/docs
+pip install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git@pytorch_sphinx_theme2#egg=pytorch_sphinx_theme2
 make html
 popd

--- a/.ci/pytorch/python_doc_push_script.sh
+++ b/.ci/pytorch/python_doc_push_script.sh
@ -46,7 +46,7 @@ echo "error: python_doc_push_script.sh: branch (arg3) not specified"
 fi

 echo "install_path: $install_path  version: $version"
-
+pip install -e git+https://github.com/pytorch/pytorch_sphinx_theme.git@pytorch_sphinx_theme2#egg=pytorch_sphinx_theme2

 build_docs () {
  set +e