summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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)$/;
#