diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
| -rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 4 |
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. |