summaryrefslogtreecommitdiff
path: root/man
diff options
context:
space:
mode:
authorLouis Roché <louis@louisroche.net>2018-12-10 11:09:13 +0000
committerLouis Roché <louis@louisroche.net>2018-12-10 11:09:13 +0000
commit52954a428d6523a138655c075f1ed97c5ab677ca (patch)
treeea39f49420566382c1902428a08103e23a375ea1 /man
parent31ce53e1660a1f0e2d36fc06c20cee1311cf9cce (diff)
downloadocaml-52954a428d6523a138655c075f1ed97c5ab677ca.tar.gz
Add missing word in -nostdlib doc
Diffstat (limited to 'man')
-rw-r--r--man/ocamlopt.m2
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ocamlopt.m b/man/ocamlopt.m
index b2b03ed41d..9ba40a237f 100644
--- a/man/ocamlopt.m
+++ b/man/ocamlopt.m
@@ -427,7 +427,7 @@ Allow the compiler to use some optimizations that are valid only for code
that is never dynlinked.
.TP
.B -nostdlib
-Do not automatically add the standard library directory the list of
+Do not automatically add the standard library directory to the list of
directories searched for compiled interface files (.cmi), compiled
object code files (.cmx), and libraries (.cmxa). See also option
.BR \-I .