diff options
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/tlpkginfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/tlpkginfo b/Master/tlpkg/bin/tlpkginfo index 5508cbd74d5..06fdba01bc0 100755 --- a/Master/tlpkg/bin/tlpkginfo +++ b/Master/tlpkg/bin/tlpkginfo @@ -282,6 +282,9 @@ sub prepare { $tds_path = "/home/ftp/tex/$pkg/$pkg.tds.zip"; # will be ignored below if it doesn't exist. + } elsif ($pkg eq "context") { + $tds_path = "/tmp/cont-tmf.zip"; + # ...and except for amsfonts, and others ... } elsif ($pkg eq "amsfonts") { $tds_path = "$CTAN/fonts/amsfonts/amsfonts.zip"; |