[doc] Fix document search fail due to sphinx-doc/sphinx/issues/8419

4 years ago · 2f72703986
parent 563ae97435
commit 2f72703986
1 changed files with 2 additions and 2 deletions
--- a/docs/build_docs.sh
+++ b/docs/build_docs.sh
@ -21,8 +21,8 @@ set -x

 # step-1: install dependencies
 apt-get update
-apt-get -y install git rsync python3-pip python3-sphinx python3-git python3-sphinx-rtd-theme python3-stemmer python3-virtualenv python3-setuptools
-python3 -m pip install myst-parser pygments
+apt-get -y install git rsync python3-pip python3-sphinx python3-git python3-stemmer python3-virtualenv python3-setuptools
+python3 -m pip install myst-parser pygments sphinx-rtd-theme

 export SOURCE_DATE_EPOCH=$(git log -1 --pretty=%ct)
 export REPO_NAME="${GITHUB_REPOSITORY##*/}"