diff options
| author | Hans Bolinder <[email protected]> | 2011-09-27 09:07:20 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2011-09-27 09:07:20 +0200 |
| commit | 67e216c86754e7076ffdbb87fec8b48ab0d28e56 (patch) | |
| tree | 9e9b66077d72e611083e66bba35f3270990ca14d /lib/kernel/doc/src/erl_ddll.xml | |
| parent | 0e132c07e92835811e01bec415399916afc3e44d (diff) | |
| parent | adeb8abaca990e6084ee101656832e115579a8ba (diff) | |
| download | otp-67e216c86754e7076ffdbb87fec8b48ab0d28e56.tar.gz otp-67e216c86754e7076ffdbb87fec8b48ab0d28e56.tar.bz2 otp-67e216c86754e7076ffdbb87fec8b48ab0d28e56.zip | |
Merge branch 'dev' into major
* dev:
Improve the generation of man pages
Correct XML files
Diffstat (limited to 'lib/kernel/doc/src/erl_ddll.xml')
| -rw-r--r-- | lib/kernel/doc/src/erl_ddll.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/kernel/doc/src/erl_ddll.xml b/lib/kernel/doc/src/erl_ddll.xml index f9514dda2f..1911fb628e 100644 --- a/lib/kernel/doc/src/erl_ddll.xml +++ b/lib/kernel/doc/src/erl_ddll.xml @@ -989,7 +989,7 @@ <c>{ok, pending_driver}</c> or <c>{ok, pending_process}</c>.</p> </item> </taglist> - <p>The <c>pending_driver</c><c>MonitorOption</c> is by far + <p>The <c>pending_driver</c> <c>MonitorOption</c> is by far the most useful and it has to be used to ensure that the driver has really been unloaded and the ports closed whenever the <c>kill_ports</c> option is used or the |