summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'Doc/Makefile')
-rw-r--r--Doc/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile
index 803d1c00ace..8a5e0307992 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -127,7 +127,7 @@ clean:
venv:
$(PYTHON) -m venv $(VENVDIR)
- $(VENVDIR)/bin/python3 -m pip install -U Sphinx==1.8.2 blurb
+ $(VENVDIR)/bin/python3 -m pip install -U Sphinx==2.3.1 blurb
@echo "The venv has been created in the $(VENVDIR) directory"
dist: