Document -dynload flag. Also add it and -shared to the flags reference.
authorDuncan Coutts <duncan@well-typed.com>
Sat, 4 Jul 2009 21:21:19 +0000 (21:21 +0000)
committerDuncan Coutts <duncan@well-typed.com>
Sat, 4 Jul 2009 21:21:19 +0000 (21:21 +0000)
commit901d7795d31fb6706ffcb7e522160feddf4260b7
tree0d332372e6bad881cbabd29f2733328d6618bc91
parenta7981216f157c0d7faac9e9acf98cf0351951a8d
Document -dynload flag. Also add it and -shared to the flags reference.
docs/users_guide/flags.xml
docs/users_guide/phases.xml