diff options
-rwxr-xr-x | Build/tools/ctan2tl | 2 |
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" |