diff --git a/docs/build_docs.sh b/docs/build_docs.sh index 94709a823..3f0fbe08e 100755 --- 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##*/}"