diff options
author | Karl Berry <karl@freefriends.org> | 2013-03-31 17:19:12 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2013-03-31 17:19:12 +0000 |
commit | aa9c9884cecb845859c83ac270062f670ec12af9 (patch) | |
tree | 71d923d6ddbfeef41ce02f90ef9b4d25f57db51a /Master/tlpkg/TeXLive/TLPDB.pm | |
parent | 212e9d9b59c85b5227bdc338d8c84af4e61db334 (diff) |
pinning doc, msgs
git-svn-id: svn://tug.org/texlive/trunk@29567 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/TeXLive/TLPDB.pm')
-rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index 7321df9533b..4abb1561977 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -2504,9 +2504,9 @@ sub check_evaluate_pinning { # check that all pinning lines where hit for my $p (@pins) { next if defined($p->{'hit'}); - tlwarn("pinning warning: the entry in line\n ", $p->{'line'}, - "\nconcerning the package pattern ", $p->{'glob'}, - "\nis not matched by any package!\n"); + tlwarn("tlmgr: pinning warning: the package pattern ", $p->{'glob'}, + " on the line:\n ", $p->{'line'}, + "\n does not match any package\n"); } } |