diff options
author | Karl Berry <karl@freefriends.org> | 2016-07-08 15:37:48 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-07-08 15:37:48 +0000 |
commit | f6915366839ac9b199d6cce654dd1c6169a43f21 (patch) | |
tree | 8c6921668fb65fc756133b31b80cd351963bb02d /Master/tlpkg/tlpsrc/velthuis.tlpsrc | |
parent | 6b2df051be4aa848826877b41cab52cd1fa1d3f2 (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.tlpsrc | 2 |
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.* |