aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/doc/src/dialyzer.xml
diff options
context:
space:
mode:
authorDan Gudmundsson <[email protected]>2013-12-20 10:44:16 +0100
committerDan Gudmundsson <[email protected]>2013-12-20 10:44:16 +0100
commit0b68c48630311c5c97db50159c3076fa5b17a43d (patch)
tree15470b3b550f82674f80d84fca8c8bf4fe694211 /lib/dialyzer/doc/src/dialyzer.xml
parentb0702b98e3bde3d34f84027c9384e138478432c1 (diff)
parent56d9c00246a55e1bac7782451b89d0a4a36fcefb (diff)
downloadotp-0b68c48630311c5c97db50159c3076fa5b17a43d.tar.gz
otp-0b68c48630311c5c97db50159c3076fa5b17a43d.tar.bz2
otp-0b68c48630311c5c97db50159c3076fa5b17a43d.zip
Merge remote-tracking branch 'origin/kostis/dialyzer_hipe-remove-gs'
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>