summaryrefslogtreecommitdiff
path: root/Master/tlpkg/tlpsrc/velthuis.tlpsrc
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2016-07-08 15:37:48 +0000
committerKarl Berry <karl@freefriends.org>2016-07-08 15:37:48 +0000
commitf6915366839ac9b199d6cce654dd1c6169a43f21 (patch)
tree8c6921668fb65fc756133b31b80cd351963bb02d /Master/tlpkg/tlpsrc/velthuis.tlpsrc
parent6b2df051be4aa848826877b41cab52cd1fa1d3f2 (diff)
velthuis re-import with devnag man pages
git-svn-id: svn://tug.org/texlive/trunk@41660 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/tlpsrc/velthuis.tlpsrc')
-rw-r--r--Master/tlpkg/tlpsrc/velthuis.tlpsrc2
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/tlpsrc/velthuis.tlpsrc b/Master/tlpkg/tlpsrc/velthuis.tlpsrc
index 93ee213f6b8..229fcae9d68 100644
--- a/Master/tlpkg/tlpsrc/velthuis.tlpsrc
+++ b/Master/tlpkg/tlpsrc/velthuis.tlpsrc
@@ -1,3 +1,5 @@
catalogue devanagari
depend xetex-devanagari
execute addMixedMap dvng.map
+binpattern f bin/${ARCH}/${PKGNAME}
+docpattern +f texmf-dist/doc/man/man1/devnag.*