summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2022-02-22 08:49:20 +0900
committerNorbert Preining <norbert@preining.info>2022-02-22 08:49:20 +0900
commitd28e67652d29a8b9b320f7beea6ae172f90373d3 (patch)
treec143e287e4f5c9c57e36d6e79c06f2db83c736df
parent4fe76ef7798dedecd0b4b4a8647fb5ad35577b56 (diff)
Drop unused fancyselector installer optiondev/for-2022
-rwxr-xr-xMaster/install-tl5
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,