From 4b27326bcfa9733c5f0870a4c8476892bf8fac66 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Tue, 17 Jun 2014 12:31:35 +0200 Subject: [dialyzer] Correct a doc bug introduced in 0b041238 --- lib/dialyzer/doc/src/dialyzer.xml | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) (limited to 'lib/dialyzer') 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 @@ A family of options which selectively turn on/off warnings (for help on the names of warnings use - ). - Note that the options can also be given in the file with a - -dialyzer({nowarn_tag, WarningTags}) attribute. - See Erlang Reference - Manual for details. + ). Do not disable the Erlang shell while running the GUI. (or ) -- cgit v1.2.3