summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xBuild/tools/ctan2tl8
1 files changed, 4 insertions, 4 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl
index 3fa9339714d..400459d6706 100755
--- a/Build/tools/ctan2tl
+++ b/Build/tools/ctan2tl
@@ -75,10 +75,10 @@ elif test "$pkg" = rsc; then
cp -p $ctan_dir1 $pkg
else
- # normal case
- cp -pr $ctan_dir1 $pkg
+ # normal case (/. to deref symlinks, e.g., arabtex)
+ cp -pr $ctan_dir1/. $pkg
- # second ctan directory.
+ # second ctan directory (e.g., tugboat).
if test -n "$ctan_dir2"; then
cp -r $ctan_dir2 $destdir2
fi
@@ -119,7 +119,7 @@ else
comm -3 /tmp/pkgfiles.new /tmp/pkgfiles.tpm
#
for common_file in `comm -12 /tmp/pkgfiles.new /tmp/pkgfiles.tpm`; do
- diff -u0 $pkg/$common_file $Master/$common_file
+ diff --ignore-all-space -u0 $pkg/$common_file $Master/$common_file
done >/tmp/tldiff
diff_lines=`wc -l </tmp/tldiff`
diff_lines=`expr $diff_lines / 2`