matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix the manual

This commit is contained in:
Jérémie Dimino 2017-02-25 01:52:37 +00:00
parent 921e82f2c8
commit a600d47e37
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
doc/manual.org
View File

@ -74,7 +74,7 @@ format and the third one describes how to use the =jbuilder= command.
=<root>/_build= directory. It contains all the build artifacts of
the workspace built against a specific configuration. The is always
a =default= build context, which correspond to the environemnt in
which Jbuilder is executed. Unless a =workspace.sexp= file exists in
which Jbuilder is executed. Unless a =jbuild-workspace= file exists in
a parent directory and defines more build contexts, =default= is the
only build context available