~ubuntu-branches/ubuntu/lucid/erlang/lucid-proposed

« back to all changes in this revision

Viewing changes to lib/dialyzer/doc/manual.txt

  • Committer: Bazaar Package Importer
  • Author(s): Sergei Golovan
  • Date: 2009-06-11 12:18:07 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20090611121807-ks7eb4xrt7dsysgx
Tags: 1:13.b.1-dfsg-1
* New upstream release.
* Removed unnecessary dependency of erlang-os-mon on erlang-observer and
  erlang-tools and added missing dependency of erlang-nox on erlang-os-mon
  (closes: #529512).
* Removed a patch to eunit application because the bug was fixed upstream.

Show diffs side-by-side

added added

removed removed

Lines of Context:
312
312
                        $ERL_TOP/lib/mnesia/ebin
313
313
 
314
314
Dialyzer will look if there is an environment variable called
315
 
$DIALZYER_PLT and place the PLT at this lokation. If no such variable
 
315
$DIALYZER_PLT and place the PLT at this location. If no such variable
316
316
is set, Dialyzer will place the PLT at $HOME/.dialyzer_plt. The
317
317
placement can also be specified using the --plt, or --output_plt
318
318
options.