diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index 6ac192017ed..66125006e8a 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -55,7 +55,12 @@ if test -z "$pkg"; then exit 1 fi -ctan_dir1=`tlpkginfo --prepare $pkg` +if $copy_from_ctan; then + ctan_dir1=`tlpkginfo --prepare $pkg` +else + ctan_dir1="$pkg" +fi + if test -z "$ctan_dir1"; then echo "$0: can't find CTAN directory for $pkg." >&2 exit 1 @@ -91,13 +96,13 @@ else cp -pr $ctan_dir1/. $pkg fi -fi # end of copying from CTAN. - # clean up the tmpdir possibly created by 'tlpkginfo --prepare' ctan_root=`tlpkginfo --ctan-root` if ! echo "$ctan_dir1" | egrep "^$ctan_root" >/dev/null; then rm -rf $ctan_dir1 fi +fi # end of copying from CTAN. + # printf "\n$0: calling ctan2tds\n" |