Skip to content

Commit

Permalink
update the doc
Browse files Browse the repository at this point in the history
Signed-off-by: Arseniy Alekseyev <aalekseyev@janestreet.com>
  • Loading branch information
aalekseyev committed Aug 2, 2019
1 parent 87cb3f2 commit 4c15ffd
Showing 1 changed file with 4 additions and 3 deletions.
7 changes: 4 additions & 3 deletions doc/dune-files.rst
Original file line number Diff line number Diff line change
Expand Up @@ -1588,9 +1588,10 @@ The following constructions are available:
- ``(diff <file1> <file2>)`` is similar to ``(run diff <file1>
<file2>)`` but is better and allows promotion. See `Diffing and
promotion`_ for more details
- ``(diff? <file1> <file2>)`` is the same as ``(diff <file1>
<file2>)`` except that it is ignored when ``<file1>`` or ``<file2>``
doesn't exists
- ``(diff? <file1> <file2>)`` is similar to ``(diff <file1>
<file2>)`` except that ``<file2>`` should be produced by a part of the
same action rather than be a dependency, is optional and will
be consumed by ``diff?``.
- ``(cmp <file1> <file2>)`` is similar to ``(run cmp <file1>
<file2>)`` but allows promotion. See `Diffing and promotion`_ for
more details
Expand Down

0 comments on commit 4c15ffd

Please sign in to comment.