diff options
Diffstat (limited to 'Build')
| -rwxr-xr-x | Build/tools/ctan2tl | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl index d8442cbbab6..6dc90f1e171 100755 --- a/Build/tools/ctan2tl +++ b/Build/tools/ctan2tl @@ -55,7 +55,7 @@ rm -rf $pkg # An important special case: the latex-tds project contains tds-ready # zip files for the base latex distribution. We want to use them. -latex_tds_pkglist="amslatex|babel|cyrillic|graphics|psnfss|latex-tds|tools" +latex_tds_pkglist="amslatex|babel|cyrillic|graphics|latex|psnfss|latex-tds|tools" if echo "$pkg" | egrep "^($latex_tds_pkglist)\$"; then mkdir $pkg @@ -63,10 +63,13 @@ if echo "$pkg" | egrep "^($latex_tds_pkglist)\$"; then # # another complication: the latex-tds package for our purposes is the # sources for the tools that do the process; that's in the zip file - # source.zip, in the latex-tds directory. Argh. + # source.zip, in the latex-tds directory. Similarly, the zip file for + # latex itself is named "base.zip". # if test $pkg = latex-tds; then zipname=source.zip + elif test $pkg = latex; then + zipname=base.zip else zipname=$pkg.zip fi |