diff options
author | Karl Berry <karl@freefriends.org> | 2011-04-04 22:40:39 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2011-04-04 22:40:39 +0000 |
commit | b980de3705430fb5fc440e72f0c40d3faad0f6be (patch) | |
tree | 3e6e525fda28f6b0ecc3cd9ac5f2659b0ddfb561 /Master | |
parent | 89fe3ef737cb4671d8e8712b52a34e11a3c237a7 (diff) |
(check_runfiles): do not check language.def,
known-different version for ptex, unfortunately.
git-svn-id: svn://tug.org/texlive/trunk@21963 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 30b576b605d..e4063f09575 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3894,9 +3894,8 @@ sub check_files { return($ret); } -# check runfiles -# -# Check there are no duplicated runtimes files +# Check for runtime files with the same name but different contents. +# sub check_runfiles { my $Master = $localtlpdb->root; # build a list of all runtime files associated to 'normal' packages @@ -3945,16 +3944,16 @@ sub check_runfiles { next if $f =~ /^(libertine\.sty|m-tex4ht\.tex|metatex\.tex)$/; next if $f =~ /^(kinsoku\.tex|luatools\.lua|cid2code\.txt|etex\.src)$/; next if $f =~ /^(ps2mfbas\.mf|pstricks\.con|tex4ht\.env)$/; - next if $f =~ /^(texutil\.rb|tlmgrgui\.pl)$/; + next if $f =~ /^(texutil\.rb|tlmgrgui\.pl|language\.def)$/; # my @copies = grep (/\/$f$/, @runtime_files); - # map files can be duplicated as long as copies don't concern the same engine + # map files can be duplicated between (but not within) formats. if ($f =~ /\.map$/) { my $need_check = 0; my $prev_dir = ""; my @cop = @copies; # don't break the outside list map { s#^texmf-dist/fonts/map/(.*?)/.*#$1# } @cop; - foreach my $dir (sort @cop ) { + foreach my $dir (sort @cop ) { last if ($need_check = ($dir eq $prev_dir)); $prev_dir = $dir; } |