diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index e21052b5736..2df72ffcbb2 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3370,9 +3370,10 @@ sub check_runfiles { # check if duplicates are different files # foreach my $f (@duplicates) { - # assume tex4ht stuff is ok, and don't worry about Changes/README for now - # same for .xdy files - next if ($f =~ /(^Changes$|^README$|\.htf$|\.4hf$|\.xdy$)/); + # assume tex4ht, xdy stuff is ok, and don't worry about + # Changes/README et al. + next if $f =~ /\.(cfg|htf|4hf|xdy)$/; + next if $f =~ /^(Changes|README|language\.dat|(czech|slovak)\.sty)$/; # my @copies = grep (/\/$f$/, @runtime_files); # map files can be duplicated as long as copies don't concern the same engine |