From 4f4f41f5046a05494ed31bfbc1c988459eddb536 Mon Sep 17 00:00:00 2001
From: Michael B <michael.bleuez2@gmail.com>
Date: Thu, 27 Jul 2023 18:12:15 +0200
Subject: [PATCH] older sphinx

---
 doc/build.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/build.sh b/doc/build.sh
index 3d4031a..5576c28 100755
--- 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