diff options
Diffstat (limited to 'rebar.config')
| -rw-r--r-- | rebar.config | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/rebar.config b/rebar.config index 7efc3fd..e994dbf 100644 --- a/rebar.config +++ b/rebar.config @@ -3,4 +3,21 @@ {shell, [ {apps, [main]} +]}. + +{dialyzer, [ + {plt_extra_apps, [merklet]}, + {warnings, [unknown]} +]}. + +{edoc_opts, [ + {doclet, edoc_doclet}, + {source_path, ["src"]}, + {app_default, "https://www.erlang.org/doc/man"}, + {preprocess, true}, + {includes, ["include"]}, + {dir, "doc"}, + {overview, "doc/overview.edoc"}, + {title, "Domino - Extended Relational Database Engine"}, + {pretty_printer, erl_pp} ]}.
\ No newline at end of file |