diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/documentation.tlpsrc | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Master/tlpkg/tlpsrc/documentation.tlpsrc b/Master/tlpkg/tlpsrc/documentation.tlpsrc index 181d94207ac..aa45b2e06a7 100644 --- a/Master/tlpkg/tlpsrc/documentation.tlpsrc +++ b/Master/tlpkg/tlpsrc/documentation.tlpsrc @@ -1,4 +1,5 @@ -docpattern +!d texmf-dist/doc/fonts/punknova/documentation docpattern +!d texmf-dist/doc/fonts/amiri/documentation -docpattern +!d texmf-dist/doc/latex/interactiveworkbook/documentation docpattern +!d texmf-dist/doc/fonts/gentium-tug/GentiumPlus/documentation +docpattern +!d texmf-dist/doc/fonts/punknova/documentation +docpattern +!d texmf-dist/doc/latex/interactiveworkbook/documentation +docpattern +!d texmf-dist/doc/lualatex/lilyglyphs/documentation |