From b456daf3940aeb2a562f777d9a81e92ad21243b9 Mon Sep 17 00:00:00 2001 From: Marcello Seri Date: Wed, 14 Apr 2021 15:29:34 +0200 Subject: [PATCH] opam.rst: dune subst should be called with dev See also https://github.com/ocaml/dune/pull/3647 Signed-off-by: Marcello Seri --- doc/opam.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/opam.rst b/doc/opam.rst index 91a01dd6752..fb4a5443fac 100644 --- a/doc/opam.rst +++ b/doc/opam.rst @@ -14,7 +14,7 @@ follows: :: build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ]