diff options
author | Karl Berry <karl@freefriends.org> | 2020-03-05 22:27:22 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-03-05 22:27:22 +0000 |
commit | 3244e8b7ce136775390af54d6243d745ff2ad48c (patch) | |
tree | 3710181380bc420cb5269d87a2c6bbde8c91d7d3 /Master/texmf-dist/scripts | |
parent | 996f37c05ce57a8c918507883641c947ffc4ad58 (diff) |
(check_runfiles): context.json duplicated and
presumably that's ok
git-svn-id: svn://tug.org/texlive/trunk@54118 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/scripts')
-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 e9dd0c43766..e7d14399b7f 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -5529,6 +5529,7 @@ sub check_runfiles { |README.* |a_.*\.enc |cid2code\.txt + |context\.json |etex\.src |fithesis.* |u?kinsoku\.tex |