diff options
author | Karl Berry <karl@freefriends.org> | 2010-02-03 00:41:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-02-03 00:41:37 +0000 |
commit | a12359ced18657b8964c97eafba5a024f3cc82ce (patch) | |
tree | 7d19cda813a8da3545e3c1a04129e66c5402c016 /Master | |
parent | b86db63802d6dc47fc709ad95bac45527fd3c94e (diff) |
ps2mfbas.mf, pstricks.con, tex4ht.env, texutil.rb,
tlmgrgui.pl: don't need to worry about these duplicates
git-svn-id: svn://tug.org/texlive/trunk@16906 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index b478bd6be76..4dfc37ae4a4 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -3451,6 +3451,8 @@ 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 =~ /^(ps2mfbas\.mf|pstricks\.con|tex4ht\.env)$/; + next if $f =~ /^(texutil\.rb|tlmgrgui\.pl)$/; # my @copies = grep (/\/$f$/, @runtime_files); # map files can be duplicated as long as copies don't concern the same engine |