From 3acdef8ed9063b07c777970b264cef67592f90ee Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Tue, 4 Dec 2018 17:32:07 +0100
Subject: Fix and document Dialyzer against beam files

---
 doc/src/guide/dialyzer.asciidoc | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'doc/src/guide/dialyzer.asciidoc')

diff --git a/doc/src/guide/dialyzer.asciidoc b/doc/src/guide/dialyzer.asciidoc
index 58fe53f..6031113 100644
--- a/doc/src/guide/dialyzer.asciidoc
+++ b/doc/src/guide/dialyzer.asciidoc
@@ -71,3 +71,16 @@ it doesn't exist. This is normally not necessary as
 Dialyzer creates it automatically.
 
 The PLT file will be removed when you run `make distclean`.
+
+=== Dialyzing beam files
+
+By default Erlang.mk will run Dialyzer against the source
+code. It is possible to configure Erlang.mk to use the
+compiled source files instead. This is done using the
+`DIALYZER_DIRS` variable:
+
+[source,make]
+DIALYZER_DIRS = -r ebin
+
+This value must be set before including Erlang.mk to
+function properly.
-- 
cgit v1.2.3

