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 | |
parent | 31ce53e1660a1f0e2d36fc06c20cee1311cf9cce (diff) | |
download | ocaml-52954a428d6523a138655c075f1ed97c5ab677ca.tar.gz |
Add missing word in -nostdlib doc
-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". |