From 5094d58774a0baf13f902aef878808da3f2f17aa Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Tue, 31 Jul 2018 21:00:08 +0200 Subject: [PATCH] Fix opam build instructions in usage.rst They should include dune subst when pinning as well Signed-off-by: Rudi Grinberg --- doc/usage.rst | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/doc/usage.rst b/doc/usage.rst index cc87dcaa..94e3ad10 100644 --- a/doc/usage.rst +++ b/doc/usage.rst @@ -237,7 +237,10 @@ follows: :: - build: [["dune" "build" "-p" name "-j" jobs]] + build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ] ``-p pkg`` is a shorthand for ``--root . --only-packages pkg --profile release --default-target @install``. ``-p`` is the short version of