From 809a7fb3b26b0f32b10b11f176cd01b3b6a3d1fb Mon Sep 17 00:00:00 2001 From: Kostis Sagonas Date: Wed, 13 Nov 2013 16:09:45 +0100 Subject: Remove the --wx option and promore the --gui to use the wx-based GUI --- lib/dialyzer/doc/manual.txt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) (limited to 'lib/dialyzer/doc/manual.txt') diff --git a/lib/dialyzer/doc/manual.txt b/lib/dialyzer/doc/manual.txt index d519ac960b..29c9518d84 100644 --- a/lib/dialyzer/doc/manual.txt +++ b/lib/dialyzer/doc/manual.txt @@ -125,7 +125,7 @@ The exit status of the command line version is: Usage: 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] @@ -234,9 +234,7 @@ Options: --fullpath Display the full path names of files for which warnings are emitted. --gui - Use the gs-based GUI. - --wx - Use the wx-based GUI. + Use the GUI. Note: * denotes that multiple occurrences of these options are possible. -- cgit v1.2.3