diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index 333c75cba51..6045ec52b8c 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -429,7 +429,7 @@ if ($opt_profile eq "") { $opt_gui = $1; @runargs = split ",", $2; } - if (-r "tlpkg/installer/install-menu-${opt_gui}.pl") { + if (-r "$::installerdir/tlpkg/installer/install-menu-${opt_gui}.pl") { require("installer/install-menu-${opt_gui}.pl"); } else { tlwarn("UI plugin $opt_gui not found,\n"); |