summaryrefslogtreecommitdiff
path: root/Build/tools/ctan2tl
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools/ctan2tl')
-rwxr-xr-xBuild/tools/ctan2tl2
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