summaryrefslogtreecommitdiff
path: root/Master/texmf
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-05-26 17:01:16 +0000
committerKarl Berry <karl@freefriends.org>2010-05-26 17:01:16 +0000
commit4749dd16fb44ba940fda8c2e44750b7c27cc4df5 (patch)
treef45c3538830d004e389f015ea2ffafa462e2e9cd /Master/texmf
parent2e85b4c2cd083756baeaf94a3c191b0fa94f3d55 (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-xMaster/texmf/scripts/texlive/tlmgr.pl3
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)$/;
#