diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index 5a1527cbf8e..6a1dd7ab7e0 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -70,7 +70,7 @@ echo "$0: ctan dir for $pkg" echo "$0: is $ctan_dir" test -r "$ctan_dir/TDS_READY" \ -&& echo "$0: from `cat $ctan_dir/TDS_READY`" +&& echo "... from `cat $ctan_dir/TDS_READY`" # help in keeping things in sync. if egrep " $pkg"'( |$)' $mydir/tlpkg-ctan-check >/dev/null; then :; else |