diff options
| author | Karl Berry <karl@freefriends.org> | 2010-05-26 17:01:16 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2010-05-26 17:01:16 +0000 |
| commit | 4749dd16fb44ba940fda8c2e44750b7c27cc4df5 (patch) | |
| tree | f45c3538830d004e389f015ea2ffafa462e2e9cd /Master/texmf | |
| parent | 2e85b4c2cd083756baeaf94a3c191b0fa94f3d55 (diff) | |
(check_files): do not worry about kinsoku.tex,
known-different for ptex and platex.
git-svn-id: svn://tug.org/texlive/trunk@18516 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf')
| -rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index 4f04e60a344..0b007f960f0 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3545,7 +3545,7 @@ sub action_check { finish($ret); } -# check file coverage, roughly equivalent to tlpkg/bin/check-file-coverage +# check file coverage in both direction. # sub check_files { my $tltree = shift; @@ -3691,6 +3691,7 @@ sub check_runfiles { next if $f =~ /\.(afm|cfg|4hf|htf|xdy)$/; next if $f =~ /^(Changes|README|language\.dat|(czech|slovak)\.sty)$/; next if $f =~ /^(libertine\.sty|m-tex4ht\.tex|metatex\.tex)$/; + next if $f =~ /^kinsoku\.tex$/; next if $f =~ /^(ps2mfbas\.mf|pstricks\.con|tex4ht\.env)$/; next if $f =~ /^(texutil\.rb|tlmgrgui\.pl)$/; # |