diff options
Diffstat (limited to 'Master/tlpkg')
-rw-r--r-- | Master/tlpkg/tlpsrc/jadetex.tlpsrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/jadetex.tlpsrc b/Master/tlpkg/tlpsrc/jadetex.tlpsrc index 03c831fd8d6..fbd76a1224d 100644 --- a/Master/tlpkg/tlpsrc/jadetex.tlpsrc +++ b/Master/tlpkg/tlpsrc/jadetex.tlpsrc @@ -6,5 +6,8 @@ execute AddFormat name=jadetex engine=pdftex patterns=language.dat \ options="*jadetex.ini" execute AddFormat name=pdfjadetex engine=pdftex patterns=language.dat \ options="*pdfjadetex.ini" +# binpattern f bin/${ARCH}/jadetex binpattern f bin/${ARCH}/pdfjadetex +# +docpattern f texmf-dist/doc/man/man1/pdf${PKGNAME}.* |