diff options
| author | Karl Berry <karl@freefriends.org> | 2014-07-04 22:59:44 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2014-07-04 22:59:44 +0000 |
| commit | d77a88a66de5c4a9bc5ffbd10d62833de39bc31e (patch) | |
| tree | 892fa15fd3490f7b2defc0b3ef3f21e891acd52e /Master/tlpkg/tlpsrc/tools.tlpsrc | |
| parent | c64cd5d30ffc29a53e3967461bdaf4d58aee6ddf (diff) | |
tlpsrc: sort available_architectures; doc; avoid long explicit exclusion lists
git-svn-id: svn://tug.org/texlive/trunk@34521 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/tools.tlpsrc')
| -rw-r--r-- | Master/tlpkg/tlpsrc/tools.tlpsrc | 15 |
1 files changed, 6 insertions, 9 deletions
diff --git a/Master/tlpkg/tlpsrc/tools.tlpsrc b/Master/tlpkg/tlpsrc/tools.tlpsrc index 75339f906e1..3b20d375098 100644 --- a/Master/tlpkg/tlpsrc/tools.tlpsrc +++ b/Master/tlpkg/tlpsrc/tools.tlpsrc @@ -1,9 +1,6 @@ -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 -# -runpattern +!d texmf-dist/tex/generic/pgf/graphdrawing/lua/pgf/gd/tools -# -srcpattern +!d texmf-dist/source/jfontmaps/tools +# lots of other packages have subdirectories named "tools". +# instead of laboriously listing them explicitly, override the +# autopatterns and look only for our own directories. +docpattern d texmf-dist/doc/latex/tools +runpattern d texmf-dist/tex/latex/tools +srcpattern d texmf-dist/source/latex/tools |