diff options
| author | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2014-06-17 16:29:24 +0200 |
| commit | 9572b1c4615e9efc9a7ff53fafc9a32730ae45e4 (patch) | |
| tree | 21bf2411cacb5513dc44632cc955134ee50b192c /lib/dialyzer/doc/src/dialyzer.xml | |
| parent | 584fb6f256f02d48b3c0be9a9462fe7df1b1acb4 (diff) | |
| parent | 805f9c89fc01220bc1bb0f27e1b68fd4eca688ba (diff) | |
| download | otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.gz otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.tar.bz2 otp-9572b1c4615e9efc9a7ff53fafc9a32730ae45e4.zip | |
Merge branch 'maint'
* maint:
[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/dialyzer.xml')
| -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> |