diff options
author | Karl Berry <karl@freefriends.org> | 2008-07-05 13:53:57 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-07-05 13:53:57 +0000 |
commit | 728eb6fdc47372ac2cce0c3d0406e478bf84432a (patch) | |
tree | 560a37ffe75f276e234fa0cfe23752b34f4b4af2 | |
parent | 6e3a7025f9115b9dc685ed6c5d65147d54d5de9c (diff) |
don't complain about mismatched names just because
of .tlpsrc
git-svn-id: svn://tug.org/texlive/trunk@9269 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-x | Master/tlpkg/bin/tlpsrc2tlpdb | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/bin/tlpsrc2tlpdb b/Master/tlpkg/bin/tlpsrc2tlpdb index a61ddd303ca..7fa316d7ea4 100755 --- a/Master/tlpkg/bin/tlpsrc2tlpdb +++ b/Master/tlpkg/bin/tlpsrc2tlpdb @@ -78,8 +78,9 @@ sub main $tlsrc->from_file ($f); my $tlp = $tlsrc->make_tlpobj ($tltree); - warn "$f.tlpsrc: package name " . $tlp->name . " does not match filename\n" - if $tlp->name ne $f; + (my $base_f = $f) =~ s/\.tlpsrc$//; + warn "$f: package name " . $tlp->name . " does not match filename\n" + if $tlp->name ne $base_f; if ($tlc) { # merge TeX Catalogue information |