diff options
author | Hans Bolinder <[email protected]> | 2014-06-17 16:26:06 +0200 |
---|---|---|
committer | Hans Bolinder <[email protected]> | 2014-06-17 16:26:06 +0200 |
commit | 805f9c89fc01220bc1bb0f27e1b68fd4eca688ba (patch) | |
tree | f0245c6d3dbfc058318bb11fced75f4bac276c8b /lib/dialyzer/doc/src | |
parent | e2961080386045f3e4ef59d9895b680ccdc4fbe4 (diff) | |
parent | 4b27326bcfa9733c5f0870a4c8476892bf8fac66 (diff) | |
download | otp-805f9c89fc01220bc1bb0f27e1b68fd4eca688ba.tar.gz otp-805f9c89fc01220bc1bb0f27e1b68fd4eca688ba.tar.bz2 otp-805f9c89fc01220bc1bb0f27e1b68fd4eca688ba.zip |
Merge branch 'hb/dialyzer/fix_recognition_of_records/OTP-11935' into maint
* hb/dialyzer/fix_recognition_of_records/OTP-11935:
[dialyzer] Correct a doc bug introduced in 0b041238
[dialyzer] Use the option 'dialyzer' to control the compiler
[dialyzer] Fix handling of literal records
Diffstat (limited to 'lib/dialyzer/doc/src')
-rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 3de60b2f7a..4e26a9e95e 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -139,12 +139,7 @@ <tag><c><![CDATA[-Wwarn]]></c></tag> <item>A family of options which selectively turn on/off warnings (for help on the names of warnings use - <c><![CDATA[dialyzer -Whelp]]></c>). - Note that the options can also be given in the file with a - <c>-dialyzer({nowarn_tag, WarningTags})</c> attribute. - See <seealso - marker="doc/reference_manual:typespec#suppression">Erlang Reference - Manual</seealso> for details.</item> + <c><![CDATA[dialyzer -Whelp]]></c>).</item> <tag><c><![CDATA[--shell]]></c></tag> <item>Do not disable the Erlang shell while running the GUI.</item> <tag><c><![CDATA[--version]]></c> (or <c><![CDATA[-v]]></c>)</tag> |