diff options
Diffstat (limited to 'Master/texmf')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 1 |
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 |