diff options
Diffstat (limited to 'Build/tools')
-rwxr-xr-x | Build/tools/ctan2tl | 4 |
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 |