aboutsummaryrefslogtreecommitdiffstats
path: root/guide/dialyzer.html
diff options
context:
space:
mode:
Diffstat (limited to 'guide/dialyzer.html')
-rw-r--r--guide/dialyzer.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/guide/dialyzer.html b/guide/dialyzer.html
index 6d995bd..8b5efc5 100644
--- a/guide/dialyzer.html
+++ b/guide/dialyzer.html
@@ -44,7 +44,7 @@ dependencies of the application or applications you are
currently working on, including standard applications in
Erlang/OTP itself.</p><p>Dialyzer can generate this PLT file. Erlang.mk includes rules
to automatically generate the PLT file when it is missing.</p><p>Once the PLT file is generated, Dialyzer can perform the
-analysis in record time.</p></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a id="_configuration_7"></a>20.2. Configuration</h2></div></div></div><p>In a typical usage scenario, no variable needs to be set.
+analysis in record time.</p></div><div class="section"><div class="titlepage"><div><div><h2 class="title" style="clear: both"><a id="_configuration_8"></a>20.2. Configuration</h2></div></div></div><p>In a typical usage scenario, no variable needs to be set.
The defaults should be enough. Do note however that the
dependencies need to be set properly using the <code class="literal">DEPS</code> and
<code class="literal">LOCAL_DEPS</code> variables.</p><p>The <code class="literal">DIALYZER_PLT</code> file indicates where the PLT file will