diff options
author | Louis Roché <louis@louisroche.net> | 2018-12-10 11:09:13 +0000 |
---|---|---|
committer | Louis Roché <louis@louisroche.net> | 2018-12-10 11:09:13 +0000 |
commit | 52954a428d6523a138655c075f1ed97c5ab677ca (patch) | |
tree | ea39f49420566382c1902428a08103e23a375ea1 /man | |
parent | 31ce53e1660a1f0e2d36fc06c20cee1311cf9cce (diff) | |
download | ocaml-52954a428d6523a138655c075f1ed97c5ab677ca.tar.gz |
Add missing word in -nostdlib doc
Diffstat (limited to 'man')
-rw-r--r-- | man/ocamlopt.m | 2 |
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 . |