summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/install-tl2
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");