diff options
author | Karl Berry <karl@freefriends.org> | 2009-03-22 16:55:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-03-22 16:55:05 +0000 |
commit | 6b2f87f893aebb79ff1223fd7133255a4fe05884 (patch) | |
tree | d391bb566a302ca2bafee1f4f9a2042f46259c3a /Master/tlpkg/bin/ctan2tl | |
parent | eee9fbd38e396b9721958a3e8bc33b3d4410f099 (diff) |
doc fixes
git-svn-id: svn://tug.org/texlive/trunk@12485 c570f23f-e606-0410-a88d-b1316a301751
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. |