summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/tlpkg/tlpsrc/documentation.tlpsrc5
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