From d28e67652d29a8b9b320f7beea6ae172f90373d3 Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Tue, 22 Feb 2022 08:49:20 +0900 Subject: Drop unused fancyselector installer option --- Master/install-tl | 5 ----- 1 file changed, 5 deletions(-) diff --git a/Master/install-tl b/Master/install-tl index b126ad79f11..2c73b1d83e3 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -314,10 +314,6 @@ $::opt_all_options = 0; # default language for GUI installer $::lang = "en"; -# use the fancy directory selector for TEXDIR -# no longer used, although we still accept the parameter -#$::alternative_selector = 0; - # do not debug translations by default $::debug_translation = 0; @@ -372,7 +368,6 @@ GetOptions( "custom-bin=s" => \$opt_custom_bin, "debug-translation" => \$::debug_translation, "debug-fakenet" => \$opt_debug_fakenet, - "fancyselector", "force-platform|force-arch=s" => \$opt_force_arch, "gui:s" => \$opt_gui, "in-place" => \$opt_in_place, -- cgit v1.2.3