diff options
| -rw-r--r-- | man/ocamlopt.m | 2 | ||||
| -rw-r--r-- | manual/manual/cmds/unified-options.etex | 2 |
2 files changed, 2 insertions, 2 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 . diff --git a/manual/manual/cmds/unified-options.etex b/manual/manual/cmds/unified-options.etex index 24481254c3..bb543426bb 100644 --- a/manual/manual/cmds/unified-options.etex +++ b/manual/manual/cmds/unified-options.etex @@ -424,7 +424,7 @@ compiled interface files (".cmi"), compiled object code files "-cclib -lxxx". See also option "-I". }%comp \nat{% -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 "-I". |