diff options
| author | Kostis Sagonas <[email protected]> | 2013-11-13 16:09:45 +0100 |
|---|---|---|
| committer | Kostis Sagonas <[email protected]> | 2013-11-13 16:09:45 +0100 |
| commit | 809a7fb3b26b0f32b10b11f176cd01b3b6a3d1fb (patch) | |
| tree | 77ecfd468c23b788cb5c6f7aca1c083fec694e6e /lib/dialyzer/doc/src | |
| parent | b58dcbb688c9e9df5b67610ee864c21da7fd54c2 (diff) | |
| download | otp-809a7fb3b26b0f32b10b11f176cd01b3b6a3d1fb.tar.gz otp-809a7fb3b26b0f32b10b11f176cd01b3b6a3d1fb.tar.bz2 otp-809a7fb3b26b0f32b10b11f176cd01b3b6a3d1fb.zip | |
Remove the --wx option and promore the --gui to use the wx-based GUI
Diffstat (limited to 'lib/dialyzer/doc/src')
| -rw-r--r-- | lib/dialyzer/doc/src/dialyzer.xml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml index 5bac999ac8..2a631c3010 100644 --- a/lib/dialyzer/doc/src/dialyzer.xml +++ b/lib/dialyzer/doc/src/dialyzer.xml @@ -67,7 +67,7 @@ dialyzer [--help] [--version] [--shell] [--quiet] [--verbose] [-pa dir]* [--plt plt] [--plts plt*] [-Ddefine]* [-I include_dir]* [--output_plt file] [-Wwarn]* - [--src] [--gui | --wx] [files_or_dirs] [-r dirs] + [--src] [--gui] [files_or_dirs] [-r dirs] [--apps applications] [-o outfile] [--build_plt] [--add_to_plt] [--remove_from_plt] [--check_plt] [--no_check_plt] [--plt_info] [--get_warnings] @@ -204,9 +204,7 @@ <tag><c><![CDATA[--fullpath]]></c></tag> <item>Display the full path names of files for which warnings are emitted.</item> <tag><c><![CDATA[--gui]]></c></tag> - <item>Use the gs-based GUI.</item> - <tag><c><![CDATA[--wx]]></c></tag> - <item>Use the wx-based GUI.</item> + <item>Use the GUI.</item> </taglist> <note> <p>* denotes that multiple occurrences of these options are possible.</p> |