aboutsummaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorLoïc Hoguin <[email protected]>2014-11-01 16:59:48 +0100
committerLoïc Hoguin <[email protected]>2014-11-01 16:59:48 +0100
commit724f024bbffaa56dadb10ed88130831ed7e81b09 (patch)
tree2ab33a89018184bc55e236fba20808f26b19dfbb /README.md
parent16c531430d89e97a40fc275878a56390c069e407 (diff)
downloaderlang.mk-724f024bbffaa56dadb10ed88130831ed7e81b09.tar.gz
erlang.mk-724f024bbffaa56dadb10ed88130831ed7e81b09.tar.bz2
erlang.mk-724f024bbffaa56dadb10ed88130831ed7e81b09.zip
Allow overriding the method and directories analyzed by Dialyzer
Diffstat (limited to 'README.md')
-rw-r--r--README.md5
1 files changed, 4 insertions, 1 deletions
diff --git a/README.md b/README.md
index 8a02002..9672670 100644
--- a/README.md
+++ b/README.md
@@ -301,7 +301,10 @@ included in the PLT file. There is no need to specify `erts`,
are automatically added.
Dialyzer options can be modified by defining the `DIALYZER_OPTS`
-variable. For more information please see `erl -man dialyzer`.
+variable. The directories to be analyzed can be overriden using
+the `DIALYZER_DIRS` variable. It defaults to analyzing source
+files recursively found in `src/`. For more information please
+see `erl -man dialyzer`.
EDoc plugin
-----------