summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tlpkginfo
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
-rwxr-xr-xMaster/tlpkg/bin/tlpkginfo2
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo
index e63f7de0688..2f65d7b30ea 100755
--- a/Master/tlpkg/bin/tlpkginfo
+++ b/Master/tlpkg/bin/tlpkginfo
@@ -469,6 +469,8 @@ sub copy_to_tmpdir {
my $zip = "";
if ($pkgname eq "cc-pl") {
$zip = "cc-pl.zip";
+ } elsif ($pkgname eq "mex") {
+ $zip = "mex105a.zip";
} elsif ($pkgname eq "pl-mf") {
$zip = "pl-mf.zip";
} elsif ($pkgname eq "tap") {