summaryrefslogtreecommitdiff
path: root/Master
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2009-04-11 00:25:49 +0000
committerKarl Berry <karl@freefriends.org>2009-04-11 00:25:49 +0000
commit524240dead51e45fd012d753f0e657dbe781bd48 (patch)
tree07206d14b64ff5cefeb6c11d61729447dfa5d394 /Master
parent6387bffdce1dc9d6699bde56d926339b885c2a5a (diff)
complain if package is not in any collection-* file
git-svn-id: svn://tug.org/texlive/trunk@12689 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-xMaster/tlpkg/bin/ctan2tl7
1 files changed, 7 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl
index ce2eb1ee5f9..5a1527cbf8e 100755
--- a/Master/tlpkg/bin/ctan2tl
+++ b/Master/tlpkg/bin/ctan2tl
@@ -72,11 +72,18 @@ echo "$0: is $ctan_dir"
test -r "$ctan_dir/TDS_READY" \
&& echo "$0: from `cat $ctan_dir/TDS_READY`"
+# help in keeping things in sync.
if egrep " $pkg"'( |$)' $mydir/tlpkg-ctan-check >/dev/null; then :; else
echo
echo "*** $0: $pkg not in $mydir/tlpkg-ctan-check, add?"
fi
+if grep "^depend *$pkg\$" $mydir/../tlpsrc/collection-* >/dev/null; then :
+else
+ echo
+ echo "*** $0: $pkg not in any collection, add?"
+fi
+
#
if $copy_from_ctan; then