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

pull/294/head
Leonard Xu committed by Leonard Xu
parent 85a0636045
commit 698c0ccad0

@ -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##*/}"

Loading…
Cancel
Save