diff options
| -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, |