Skip to content

Commit

Permalink
changed correct to correctly for accuracy
Browse files Browse the repository at this point in the history
  • Loading branch information
christinerose authored Aug 1, 2024
1 parent c379d37 commit 9db60e1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/interface.mld
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,7 @@ We have a separate page describing the {{!page-ocamldoc_differences}markup diffe
{2 CLI Interface}

The way in which we invoke the [odoc] CLI is not trivial, and it requires careful
ordering and accurate arguments to produce correct linked documentation. It’s not expected that
ordering and accurate arguments to produce correctly linked documentation. It’s not expected that
end users will invoke [odoc] by hand, but rather it will be driven by separate tools. As a consequence, it’s important to preserve the tools’ ability to create good documentation with
each [odoc] release, so we’ll ensure CLI backward compatibility as much as possible.
There are currently three ‘first class’ tools that 'drive' [odoc]. We will not make
Expand Down

0 comments on commit 9db60e1

Please sign in to comment.