diff options
Diffstat (limited to 'Master/tlpkg/bin/tlpkginfo')
-rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 2 |
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") { |