summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf/scripts/texlive/tlmgr.pl1
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl
index c262da53890..ccd731e475c 100755
--- a/Master/texmf/scripts/texlive/tlmgr.pl
+++ b/Master/texmf/scripts/texlive/tlmgr.pl
@@ -3450,6 +3450,7 @@ sub check_runfiles {
# Changes, README et al.
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)$/;
#
my @copies = grep (/\/$f$/, @runtime_files);
# map files can be duplicated as long as copies don't concern the same engine