diff --git a/doc/manual.org b/doc/manual.org index c58995bd..d0e1166b 100644 --- a/doc/manual.org +++ b/doc/manual.org @@ -1040,7 +1040,7 @@ You should set the =build:= field of your =.opam= file as follow: #+begin_src -build: [["jbuilder" "build" "--only-packages" "" "--root" "." "-j" jobs @install]] +build: [["jbuilder" "build" "--only-packages" "" "--root" "." "-j" jobs "@install"]] #+end_src This has the following effects: