summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2017-06-27 21:56:44 +0000
committerKarl Berry <karl@freefriends.org>2017-06-27 21:56:44 +0000
commit5ac5cca5eec65f2b492169f01406f6954c244142 (patch)
treee0c3b4c63216f807978b31b102a56c20063963ae /Master/tlpkg/tlpsrc
parent6320e3d204852732e5510f2b0cdd5022fc541091 (diff)
texdirflatten (27jun17)
git-svn-id: svn://tug.org/texlive/trunk@44713 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/texdirflatten.tlpsrc2
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/tlpsrc/texdirflatten.tlpsrc b/Master/tlpkg/tlpsrc/texdirflatten.tlpsrc
index 98052766046..745e64e018f 100644
--- a/Master/tlpkg/tlpsrc/texdirflatten.tlpsrc
+++ b/Master/tlpkg/tlpsrc/texdirflatten.tlpsrc
@@ -1,2 +1,2 @@
binpattern f bin/${ARCH}/${PKGNAME}
-docpattern f texmf-dist/doc/man/man1/${PKGNAME}.*
+docpattern +f texmf-dist/doc/man/man1/${PKGNAME}.*