diff options
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 . |