summaryrefslogtreecommitdiff
path: root/Master/texmf
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2011-04-04 22:40:39 +0000
committerKarl Berry <karl@freefriends.org>2011-04-04 22:40:39 +0000
commitb980de3705430fb5fc440e72f0c40d3faad0f6be (patch)
tree3e6e525fda28f6b0ecc3cd9ac5f2659b0ddfb561 /Master/texmf
parent89fe3ef737cb4671d8e8712b52a34e11a3c237a7 (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/texmf')
-rwxr-xr-xMaster/texmf/scripts/texlive/tlmgr.pl11
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;
}