summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/ctan2tl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-rwxr-xr-xMaster/tlpkg/bin/ctan2tl4
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl
index c5ccd3046e1..ce2eb1ee5f9 100755
--- a/Master/tlpkg/bin/ctan2tl
+++ b/Master/tlpkg/bin/ctan2tl
@@ -97,9 +97,9 @@ else
cp -pr $ctan_dir/. $pkg
fi
-# clean up the tmpdir possibly created by 'tlpkginfo --prepare'
+# clean up the tmpdir possibly created by tlpkginfo --prepare.
ctan_root=`tlpkginfo --ctan-root`
-if ! echo "$ctan_dir" | egrep "^$ctan_root" >/dev/null; then
+if echo "$ctan_dir" | egrep "^$ctan_root" >/dev/null; then :; else
rm -rf $ctan_dir
fi
fi # end of copying from CTAN.