From 8f25dd7d6050c586839e291910b4fb19dd3a250f Mon Sep 17 00:00:00 2001 From: Pierre Villemot Date: Mon, 22 Jul 2024 11:42:57 +0200 Subject: [PATCH] again --- Makefile | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index 2023874be..efbd94fdf 100644 --- a/Makefile +++ b/Makefile @@ -243,7 +243,10 @@ 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 \ @@ -251,9 +254,6 @@ doc-deps: dev-switch sphinx-markdown-tables \ myst-parser -deps: - opam install -y . --locked --deps-only - test-deps: opam install -y . --locked --deps-only --with-test