Skip to content

Commit

Permalink
Update documentation
Browse files Browse the repository at this point in the history
Signed-off-by: Ulysse Gérard <[email protected]>
  • Loading branch information
voodoos committed Jul 10, 2020
1 parent e3b8eed commit cea5c87
Showing 1 changed file with 3 additions and 5 deletions.
8 changes: 3 additions & 5 deletions doc/usage.rst
Original file line number Diff line number Diff line change
Expand Up @@ -150,11 +150,9 @@ Resolution

All targets that dune knows how to build live in the ``_build``
directory. Although, some are sometimes copied to the source tree for
the need of external tools. These includes:

- ``.merlin`` files
- ``<package>.install`` files (when either ``-p`` or
``--promote-install-files`` is passed on the command line)
the need of external tools. These includes ``<package>.install`` files
(when either ``-p`` or ``--promote-install-files`` is passed on the
command line)

As a result, if you want to ask ``dune`` to produce a particular ``.exe``
file you would have to type:
Expand Down

0 comments on commit cea5c87

Please sign in to comment.