gh-136854: Exit on error in `make venv` (#136856)

Co-authored-by: Nacho Caballero <nacho.caballero@astrazeneca.com>

diff --git a/Doc/Makefile b/Doc/Makefile
index c8a749a02a89ecad8257d7c4b1d450109b74dbbe..84578c5c57f478f2ba42a0b4193b42347de0216f 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -170,6 +170,7 @@ venv:
                echo "venv already exists."; \
                echo "To recreate it, remove it first with \`make clean-venv'."; \
        else \
+               set -e; \
                echo "Creating venv in $(VENVDIR)"; \
                if $(UV) --version >/dev/null 2>&1; then \
                        $(UV) venv --python=$(PYTHON) $(VENVDIR); \