From 69faef75be033e3edcf544bf713ef7f96c03fb0d Mon Sep 17 00:00:00 2001 From: Amir Mofakhar Date: Mon, 18 Nov 2024 09:57:43 +0000 Subject: [PATCH] fix for publish_docs.sh --- scripts/publish_docs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/publish_docs.sh b/scripts/publish_docs.sh index b51d3bb04..aa58025bd 100755 --- a/scripts/publish_docs.sh +++ b/scripts/publish_docs.sh @@ -33,7 +33,7 @@ if [ -z "$GH_TOKEN" ]; then fi # Install dependencies in a virtual env -python3.8 -m venv ~/venv-doc +python3 -m venv ~/venv-doc . ~/venv-doc/bin/activate pip install --upgrade pip pip install sphinx sphinx-rtd-theme