diff options
Diffstat (limited to 'Build')
| -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 4f5a7d8cc79..23a10b5ddd5 100755 --- a/Build/tools/ctan2tl +++ b/Build/tools/ctan2tl @@ -101,7 +101,7 @@ fi # end of copying from CTAN. # -printf "\n ctan2tds\n" +printf "\n$0: calling ctan2tds\n" rm -rf ../cooked/$pkg test -d ../cooked || mkdir ../cooked ../ctan2tds.pl --ctan-dir=$ctan_dir1 $pkg || exit 1 @@ -111,7 +111,7 @@ 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 "\nplace $place_chicken\n" +printf "\n$0: calling place $place_chicken\n" rm -rf $pkg.done ../place $place_chicken $pkg status=$? |