diff options
-rwxr-xr-x | Build/tools/ctan2tl | 8 |
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` |