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