summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/ctan2tl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-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