diff options
| -rw-r--r-- | Master/tlpkg/tlpsrc/jadetex.tlpsrc | 2 |
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}.* |