diff options
author | Ricardo Catalinas Jiménez <[email protected]> | 2011-09-26 00:06:53 +0200 |
---|---|---|
committer | Ricardo Catalinas Jiménez <[email protected]> | 2011-09-26 00:06:53 +0200 |
commit | 283e3abaaf3813bb579e31f912259bad6100f6f0 (patch) | |
tree | 59848da2bae8fa2f6ecdce23f54d9a4391a4839f | |
parent | 53cf0b70c705e0bf6c09f83f2ce2709d79593ce6 (diff) | |
download | otp-283e3abaaf3813bb579e31f912259bad6100f6f0.tar.gz otp-283e3abaaf3813bb579e31f912259bad6100f6f0.tar.bz2 otp-283e3abaaf3813bb579e31f912259bad6100f6f0.zip |
Fixes module erlang doc style: option description
-rw-r--r-- | erts/doc/src/erlang.xml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/erts/doc/src/erlang.xml b/erts/doc/src/erlang.xml index 2fabc6d62d..32fa8379b3 100644 --- a/erts/doc/src/erlang.xml +++ b/erts/doc/src/erlang.xml @@ -811,8 +811,7 @@ false</pre> <type> <v>MonitorRef = reference()</v> <v>OptionList = [Option]</v> - <v>Option = flush</v> - <v>Option = info</v> + <v> Option = flush | info</v> </type> <desc> <p>The returned value is <c>true</c> unless <c>info</c> is part |