diff options
| author | Karl Berry <karl@freefriends.org> | 2013-10-23 22:37:55 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-10-23 22:37:55 +0000 |
| commit | e494e9222d103e37a82c24f6496850e361df245f (patch) | |
| tree | 1071702941f2682957dd047a640d70abf24a6892 /Master/tlpkg | |
| parent | db4b352a8add9f8ad0a37795b734e34024c1613a (diff) | |
get pdfjadetex man pages
git-svn-id: svn://tug.org/texlive/trunk@31982 c570f23f-e606-0410-a88d-b1316a301751
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}.* |