diff options
| author | Karl Berry <karl@freefriends.org> | 2009-04-11 00:25:49 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2009-04-11 00:25:49 +0000 |
| commit | 524240dead51e45fd012d753f0e657dbe781bd48 (patch) | |
| tree | 07206d14b64ff5cefeb6c11d61729447dfa5d394 /Master/tlpkg | |
| parent | 6387bffdce1dc9d6699bde56d926339b885c2a5a (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/tlpkg')
| -rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 7 |
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 |