summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/ctan2tl
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-rwxr-xr-xMaster/tlpkg/bin/ctan2tl2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl
index 83e49e833aa..4c7111435d9 100755
--- a/Master/tlpkg/bin/ctan2tl
+++ b/Master/tlpkg/bin/ctan2tl
@@ -61,7 +61,7 @@ echo "$0: is $ctan_dir1"
if egrep " $pkg"'( |$)' $mydir/tlpkg-ctan-check >/dev/null; then :; else
echo
- echo "$0: $pkg not in $mydir/tlpkg-ctan-check, add?"
+ echo "*** $0: $pkg not in $mydir/tlpkg-ctan-check, add?"
fi
#