diff options
author | Karl Berry <karl@freefriends.org> | 2019-08-01 22:51:44 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-08-01 22:51:44 +0000 |
commit | 6a6607b8836a9c7f6015a3425e8f9ad35eacb548 (patch) | |
tree | d1b1e539c251d69c0e22964ce5024d7bf409f90a /Master/texmf-dist | |
parent | 6f8000c983c96b1457bf95de6e81a032dcdd11de (diff) |
do not worry about dup LICENSE files in runtime; note that we do not check-files-by-format any more
git-svn-id: svn://tug.org/texlive/trunk@51800 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index ca38c68abf8..8b626023c91 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -5500,6 +5500,7 @@ sub check_runfiles { next if $f =~ /^((czech|slovak)\.sty |Changes + |LICENSE.* |Makefile |README.* |a_.*\.enc |