older sphinx

michaelb · Jul 27, 2023 · 4f4f41f · 4f4f41f
1 parent 1b0c714
commit 4f4f41f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/doc/build.sh b/doc/build.sh
@@ -1,10 +1,11 @@
 #!/bin/bash
 set -x
+set -e
 
 apt-get update
-apt-get -y install git rsync python3-pip python-yaml
+apt-get -y install git rsync python3-pip
 
-python3 -m pip install myst-parser==1.0.0 sphinx-rtd-theme sphinx==5.3
+python3 -m pip install myst-parser==1.0.0 sphinx-rtd-theme sphinx==5.0
 
 pwd ls -lah
 git config --global --add safe.directory /__w/sniprun/sniprun