diff options
Diffstat (limited to 'Master/tlpkg/bin')
| -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 |