docpattern +!d texmf-dist/doc/fonts/punknova/documentation docpattern +!d texmf-dist/doc/fonts/amiri/documentation docpattern +!d texmf-dist/doc/latex/interactiveworkbook/documentation