summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/tools/ctan2tl2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl
index 413fc6ca198..4f5a7d8cc79 100755
--- a/Build/tools/ctan2tl
+++ b/Build/tools/ctan2tl
@@ -104,7 +104,7 @@ fi # end of copying from CTAN.
printf "\n ctan2tds\n"
rm -rf ../cooked/$pkg
test -d ../cooked || mkdir ../cooked
-../ctan2tds.pl $pkg || exit 1
+../ctan2tds.pl --ctan-dir=$ctan_dir1 $pkg || exit 1
cd ../cooked || exit 1
printf "\n\f cooked\n"