-dlcode -> not -nodynlink.

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@10162 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

manual/manual/cmds/native.etex

@@ -129,9 +129,6 @@ Optimize the produced code for space rather than for time. This
 results in slightly smaller but slightly slower programs. The default is to
 optimize for speed.
 
-\item["-dlcode"]
-See the documentation for the "-shared" option.
-
 \item["-dtypes"]
 Dump detailed type information.  The information for file \var{x}".ml"
 is put into file \var{x}".annot".  In case of a type error, dump
@@ -204,6 +201,10 @@ contains incorrect specifications of C libraries or C options; in this
 case, during linking, set "-noautolink" and pass the correct C
 libraries and options on the command line.
 
+\item["-nodynlink"]
+Allow the compiler to use some optimizations that are valid only for code
+that is never dynlinked.
+
 \item["-nolabels"]
 Ignore non-optional labels in types. Labels cannot be used in
 applications, and parameter order becomes strict.
@@ -311,7 +312,7 @@ modules and libraries, and extra native objects (".o", ".obj", ".a",
 ".lib" files). Building native plugins is only supported for some
 operating system. Under some systems (currently,
 only Linux AMD 64), all the Caml code linked in a plugin must have
-been compiled with the "-dlcode" flag. Some constraints might also
+been compiled without the "-nodynlink" flag. Some constraints might also
 apply to the way the extra native objects have been compiled (under
 Linux AMD 64, they must contain only position-independent code).