again

Halbaroth · Jul 22, 2024 · 8f25dd7 · 8f25dd7
1 parent 6371eb2
commit 8f25dd7
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/Makefile b/Makefile
@@ -243,17 +243,17 @@ js-deps:
 		'zarith_stubs_js>=v0.16.1' \
 		lwt_ppx -y
 
-doc-deps: dev-switch
+deps:
+	opam install -y . --locked --deps-only
+
+doc-deps: deps
 	python -m venv sphinx-venv
 	sphinx-venv/bin/pip install \
 		sphinx \
 	  sphinx-rtd-theme \
 	  sphinx-markdown-tables \
 		myst-parser
 
-deps:
-	opam install -y . --locked --deps-only
-
 test-deps:
 	opam install -y . --locked --deps-only --with-test