diff options
author | Karl Berry <karl@freefriends.org> | 2019-11-28 17:07:37 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-11-28 17:07:37 +0000 |
commit | 05e6c61928d1a6b3d712b32414c1b7f10a9bb91d (patch) | |
tree | 6d3ef7e955f3599a50ce3f66ef9a07e2432f628a | |
parent | f45ddcdcfdfe7545aa6d9b5864b62dae62dcde09 (diff) |
add binpattern
git-svn-id: svn://tug.org/texlive/trunk@52960 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r-- | Master/tlpkg/tlpsrc/pdftosrc.tlpsrc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/pdftosrc.tlpsrc b/Master/tlpkg/tlpsrc/pdftosrc.tlpsrc index f71e0ce8d2c..aec1bb41037 100644 --- a/Master/tlpkg/tlpsrc/pdftosrc.tlpsrc +++ b/Master/tlpkg/tlpsrc/pdftosrc.tlpsrc @@ -6,3 +6,5 @@ longdesc pdfTeX source tree. # The binary is over 1mb, so seems worth separating into a separate # package instead of always including with pdftex. + +binpattern f bin/${ARCH}/${PKGNAME} |