[Doc] Precise that nodynlink also have an impact on .so. (#1322)
[Doc] Precise that nodynlink also have an impact on .so. (#1322)

Signed-off-by: François Bobot <8530d62b7eab3cddb9a9239fb10975bf18a1335a@cea.fr>
dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,janestreet/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,dra27/jbuilder,janestreet/jbuilder,janestreet/jbuilder