diff options
Diffstat (limited to 'Build/tools/ctan2tl')
-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 6047a4b7342..7ceda807a6b 100755 --- a/Build/tools/ctan2tl +++ b/Build/tools/ctan2tl @@ -82,7 +82,7 @@ fi # end of copying from CTAN. # -printf "\n\f ctan2tds\n" +printf "\n ctan2tds\n" rm -rf ../cooked/$pkg test -d ../cooked || mkdir ../cooked ../ctan2tds.pl $pkg || exit 1 |