diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index 8c7a29d0068..f392fbc053d 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -133,6 +133,7 @@ find $pkg -depth -type d | xargs rmdir 2>/dev/null # remove empty directories spacenames="`find $pkg -name \*\ \*`" if test -n "$spacenames"; then echo "$0: cooked hierarchy contains files with spaces, goodbye:" >&2 + echo "in `pwd`/$pkg:" >&2 echo "$spacenames" >&2 exit 1 fi |