diff options
| author | Norbert Preining <norbert@preining.info> | 2022-02-22 08:49:20 +0900 |
|---|---|---|
| committer | Norbert Preining <norbert@preining.info> | 2022-02-22 08:49:20 +0900 |
| commit | d28e67652d29a8b9b320f7beea6ae172f90373d3 (patch) | |
| tree | c143e287e4f5c9c57e36d6e79c06f2db83c736df | |
| parent | 4fe76ef7798dedecd0b4b4a8647fb5ad35577b56 (diff) | |
Drop unused fancyselector installer optiondev/for-2022
| -rwxr-xr-x | Master/install-tl | 5 |
1 files changed, 0 insertions, 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, |