Docs: lock the Sphinx version

aantron · Dec 22, 2023 · ad5b66d · ad5b66d
1 parent 4d66040
commit ad5b66d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -178,8 +178,15 @@ docs : luvbook api-docs
 api-docs :
 	dune build @doc -p luv
 
+SPHINX=7.2.6
+
 .PHONY : luvbook
 luvbook :
+	@if [ "$$(sphinx-build --version)" != "sphinx-build $(SPHINX)" ]; \
+	then \
+		echo Please install Sphinx $(SPHINX); \
+		exit 1; \
+	fi
 	sphinx-build -b html docs $(DOCS)
 
 .PHONY : watch-api-docs