build doc in venv

michaelb · Jul 27, 2023 · 8cc72bc · 8cc72bc
1 parent 99e5c68
commit 8cc72bc
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/doc/build.sh b/doc/build.sh
@@ -5,7 +5,9 @@ set -e
 apt-get update
 apt-get -y install git rsync python3-pip
 
-python3 -m pip install myst-parser==1.0.0 docutils==0.18 sphinx-rtd-theme==1.2.0 sphinx==5.0
+python3 -m venv venv
+source venv/bin/activate
+pip install myst-parser==1.0.0 docutils==0.18 sphinx-rtd-theme==1.2.0 sphinx==5.0
 
 pwd ls -lah
 git config --global --add safe.directory /__w/sniprun/sniprun
@@ -23,6 +25,8 @@ cd doc
 make clean
 make html
 
+deactivate
+
 #######################
 # Update GitHub Pages #
 #######################
@@ -66,6 +70,7 @@ git commit -am "${msg}"
 git push deploy gh-pages --force
 
 popd # return to main repo sandbox root
+
 
 # exit cleanly
 exit 0