summaryrefslogtreecommitdiff
path: root/Build/tools
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools')
-rwxr-xr-xBuild/tools/ctan2tl4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl
index 5d8b43cba55..413fc6ca198 100755
--- a/Build/tools/ctan2tl
+++ b/Build/tools/ctan2tl
@@ -111,9 +111,9 @@ printf "\n\f cooked\n"
find -depth -type d | xargs rmdir 2>/dev/null
find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -r +1
-printf "\n\f place.newinfra $place_chicken\n"
+printf "\nplace $place_chicken\n"
rm -rf $pkg.done
-../place.newinfra $place_chicken $pkg
+../place $place_chicken $pkg
status=$?
rm -rf ../raw/$pkg