diff options
author | Karl Berry <karl@freefriends.org> | 2012-05-08 22:54:05 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-05-08 22:54:05 +0000 |
commit | 30d3cdf94abb9f7cb0e270abef2b0aa8aef08225 (patch) | |
tree | 225ba9dcd7d1eb88360d2210287d4138ac10e371 /Master/tlpkg/tlpsrc/tools.tlpsrc | |
parent | d189ec20694dbb800e75ab2bf0a80f3af44c738c (diff) |
gnu-freefont package subdir excludes
git-svn-id: svn://tug.org/texlive/trunk@26263 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/tools.tlpsrc')
-rw-r--r-- | Master/tlpkg/tlpsrc/tools.tlpsrc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/tools.tlpsrc b/Master/tlpkg/tlpsrc/tools.tlpsrc index 5908a1ebc41..ab6e4e3d96d 100644 --- a/Master/tlpkg/tlpsrc/tools.tlpsrc +++ b/Master/tlpkg/tlpsrc/tools.tlpsrc @@ -1,4 +1,5 @@ -docpattern +!d texmf-dist/doc/latex/tcldoc/tools -docpattern +!d texmf-dist/doc/fonts/punknova/tools docpattern +!d texmf-dist/doc/fonts/amiri/tools +docpattern +!d texmf-dist/doc/fonts/gnu-freefont/tools +docpattern +!d texmf-dist/doc/fonts/punknova/tools +docpattern +!d texmf-dist/doc/latex/tcldoc/tools docpattern +!d texmf-dist/doc/latex/tcldoc/tools |