summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/ctan2tl
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2008-03-03 19:18:05 +0000
committerKarl Berry <karl@freefriends.org>2008-03-03 19:18:05 +0000
commit7bbf709741ef5b977ec1bcd88c8e368a6939663f (patch)
tree75e1c210eee5d394cf8763ef90d551a11db64f4c /Master/tlpkg/bin/ctan2tl
parent20f85acea2ef177600a91ca346aa58165364a515 (diff)
update a2ping into scripts, symlink in bins
git-svn-id: svn://tug.org/texlive/trunk@6834 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-rwxr-xr-xMaster/tlpkg/bin/ctan2tl6
1 files changed, 6 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl
index d0765d8ce49..e1360d71564 100755
--- a/Master/tlpkg/bin/ctan2tl
+++ b/Master/tlpkg/bin/ctan2tl
@@ -59,6 +59,12 @@ fi
echo "$0: ctan dir for $pkg"
echo "$0: is $ctan_dir1"
+if grep " $pkg " $mydir/tlpkg-ctan-check >/dev/null; then :; else
+ echo
+ echo "$0: $pkg not in $mydir/tlpkg-ctan-check, add?"
+fi
+
+#
if $copy_from_ctan; then
# remove whatever dregs in raw that might be lying around.