aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/doc/src/dialyzer.xml
diff options
context:
space:
mode:
authorKostis Sagonas <[email protected]>2013-11-13 16:09:45 +0100
committerKostis Sagonas <[email protected]>2013-11-13 16:09:45 +0100
commit809a7fb3b26b0f32b10b11f176cd01b3b6a3d1fb (patch)
tree77ecfd468c23b788cb5c6f7aca1c083fec694e6e /lib/dialyzer/doc/src/dialyzer.xml
parentb58dcbb688c9e9df5b67610ee864c21da7fd54c2 (diff)
downloadotp-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/dialyzer.xml')
-rw-r--r--lib/dialyzer/doc/src/dialyzer.xml6
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>