Pin version of sphinx to 5.2.0

Related to issue Wilfred#11
alejandrogallo · Nov 17, 2022 · fba852b · fba852b
1 parent 07f8a9c
commit fba852b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/build/Makefile b/build/Makefile
@@ -1,5 +1,6 @@
 PYTHON_VERSION ?= 3.9.9
 VIRTUALENV_BIN ?= virtualenv
+SPHINX_VERSION ?= 5.2.0
 
 default: python.info
 
@@ -16,7 +17,7 @@ sphinx_env:
 	$(VIRTUALENV_BIN) sphinx_env
 
 sphinx-build: sphinx_env
-	sphinx_env/bin/pip install sphinx
+	sphinx_env/bin/pip install sphinx==$(SPHINX_VERSION)
 
 python.texi: python_src sphinx-build
 	sphinx_env/bin/sphinx-build -b texinfo python_src/Doc python_info