Skip to content

Commit

Permalink
fix typo
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg committed Mar 6, 2020
1 parent 1d660b1 commit d258110
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion doc/dune-files.rst
Original file line number Diff line number Diff line change
Expand Up @@ -668,7 +668,7 @@ Executables can also be linked as object or shared object files. See
pulled in. This field is available since the 2.0 version of the dune
language.

- ``(embed_in_plugin_libraries <library-list>)`` especifies a list of libraries
- ``(embed_in_plugin_libraries <library-list>)`` specifies a list of libraries
to link statically when using ``plugin`` linking mode. By default, no
libraries are linked in. Note that you may need to also use the ``-linkall``
flag if some of the libraries listed here are not referenced from any of the
Expand Down

0 comments on commit d258110

Please sign in to comment.