summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Master/tlpkg/tlpsrc/jadetex.tlpsrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/jadetex.tlpsrc b/Master/tlpkg/tlpsrc/jadetex.tlpsrc
index fbd76a1224d..0df5c7fddaf 100644
--- a/Master/tlpkg/tlpsrc/jadetex.tlpsrc
+++ b/Master/tlpkg/tlpsrc/jadetex.tlpsrc
@@ -10,4 +10,4 @@ execute AddFormat name=pdfjadetex engine=pdftex patterns=language.dat \
binpattern f bin/${ARCH}/jadetex
binpattern f bin/${ARCH}/pdfjadetex
#
-docpattern f texmf-dist/doc/man/man1/pdf${PKGNAME}.*
+docpattern +f texmf-dist/doc/man/man1/pdf${PKGNAME}.*